# Superlinear Singular Problems on the Half Line

- Irena Rachunková
^{1}Email author and - Jan Tomecek
^{1}

**2010**:429813

**DOI: **10.1155/2010/429813

© Rachunková and J. Tomecek. 2010

**Received: **19 October 2010

**Accepted: **7 December 2010

**Published: **15 December 2010

## Abstract

The paper studies the singular differential equation , which has a singularity at . Here the existence of strictly increasing solutions satisfying is proved under the assumption that has two zeros 0 and and a superlinear behaviour near . The problem generalizes some models arising in hydrodynamics or in the nonlinear field theory.

## 1. Introduction

where is a positive real parameter.

Definition 1.1.

Let
. A function
satisfying (1.1) on
is called *a solution of ( 1.1 ) on*
.

Definition 1.2.

Let
be a solution of (1.1) on
for each
. Then
is called *a solution of ( 1.1 ) on*
. If
moreover fulfils conditions (1.2), it is called *a solution of problem ( 1.1 ), ( 1.2 )*.

Definition 1.3.

A strictly increasing solution of problem (1.1), (1.2) is called *a homoclinic solution*.

where , and introduce the following definition.

Definition 1.4.

*a solution of problem ( 1.1 ), ( 1.11 ) on*. If moreover fulfils

then
is called *an escape solution of problem ( 1.1 ), ( 1.11 )*.

hold, and has a superlinear behaviour near . This is done in Section 2. Using the results of Section 2 "Theorem 2.10", and of [6, Theroms 13, 14 and 20] we get the existence of a homoclinic solution in Section 3.

Note that by Definitions 1.3 and 1.4 just the values of a solution which are less than are important for a decision whether the solution is homoclinic or escape one. Therefore condition (1.13) can be assumed without any loss of generality.

Close problems about the existence of positive solutions have been studied in [9–11].

## 2. Escape Solutions

In this section we assume that (1.3)–(1.8), (1.10), and (1.13) hold. We will need some lemmas.

Lemma 2.1 (see [6, Lemma 3]).

In what follows by a solution of (1.1), (1.11) we mean a solution on .

Remark 2.2 (see [6, Remark 4]).

Problem (1.1), (2.2) has a unique solution on . In particular, for and , we get and , respectively. Clearly, for , and are solutions of (1.1) on the whole interval .

Lemma 2.3.

Proof.

The inequality yields . By (1.1) and (1.10), we get on and hence is increasing on . As , one has on and consequently on . Therefore .

Let . Then is the first zero of and . Remark 2.2 yields that is not possible. This implies that . As is strictly increasing on and is not an escape solution, we have on . Thus on and hence is decreasing on . This gives (2.4).

Lemma 2.4.

Proof.

? (2) Assume that . Then the continuity of gives and of Lemma 2.3 fulfils . We deduce that on as in the proof of Lemma 2.3. Remark 2.2 yields that if , then neither nor can occur. Therefore .

Lemma 2.5.

Proof.

We have proved that (2.15) is valid.

Lemma 2.6.

If the sequence is unbounded, then there exists an escape solution in .

Proof.

Choose . The monotonicity and continuity of in give a unique . If is unbounded we argue as in the proof of Lemma 4.8 in [8].

Otherwise we take a subsequence. Some additional properties of are given in the next two lemmas.

Lemma 2.7.

Proof.

Step 1 (sequence is bounded).

We will consider two cases.

Case 1.

Putting it to (2.35), we have , contrary to (2.29).

Case 2.

for each sufficiently large . Putting it to (2.37), we get for . Integrating it over , we obtain . Equation (1.1) and condition (1.13) yield for , and so , contrary to (2.29).

Step 2 (estimate for ).

Then, by virtue of (2.4), inequality (2.28) is valid.

Lemma 2.8.

Proof.

Integrating the last inequality over , we obtain , so , a contradiction.

Lemma 2.9.

Proof.

where , because is less than the critical value . We have proved (2.53).

Now we are ready to prove the following main result of this paper.

Theorem 2.10.

for some . Further, let and be such that (2.51) and (2.52) are valid. Then there exists such that the corresponding solution of problem (1.1), (1.11) is an escape solution.

Proof.

Choose an arbitrary . We will construct a contradiction.

Step 1 (inequality for ).

Step 2 (estimate of from below).

Step 3 (estimate of ).

Step 4 (final contradictions).

Letting we get a contradiction to (2.53).

contrary to (2.53).

Remark 2.11.

We assume that in Theorem 2.10. In particular for and , , the function can behave in neighbourhood of as a function for arbitrary .

which is the first condition in (1.9). We have proved in [6, 7] that, in this case, assumptions (1.3)–(1.8) are sufficient for the existence of an escape solution.

Example 2.12.

Hence, for condition (2.58) is satisfied. The critical value is equal to 3. By Theorem 2.10, if fulfils (2.52) with , problem (1.1), (1.11) has an escape solution.

Example 2.13.

Hence, for condition (2.58) is satisfied. The critical value is equal to 5. By Theorem 2.10, if fulfils (2.52) with , problem (1.1), (1.11) has an escape solution.

## 3. Homoclinic Solutions

Having an escape solution we can deduce the existence of a homoclinic solution by the same arguments as in [6]. For completeness we bring here the main ideas. Remember that our basic assumptions (1.3)–(1.8), (1.10) and (1.13) are fulfilled in this section.

The third type of solutions of problem (1.1), (1.11) is characterized in the next definition.

Definition 3.1.

The following properties of damped and escape solutions are important for the existence of homoclinic solutions.

Theorem 3.2 (see [6, Theorem 13] (on damped solutions)).

Let be of (1.5) and (1.6). Assume that is a solution of problem (1.1), (1.11) with . Then is damped.

Theorem 3.3 (see [6, Theorem 14]).

Let be the set of all such that corresponding solutions of problem (1.1), (1.11) are damped. Then is open in .

Theorem 3.4 (see [6, Theorem 20]).

Let be the set of all such that corresponding solutions of problem (1.1), (1.11) are escape ones. Then is open in .

Having these theorems we get the main result of this section.

Theorem 3.5 (On a homoclinic solution).

Assume that the assumptions of Theorem 2.10 are satisfied. Then problem (1.1), (1.2) has a homoclinic solution.

Proof.

By Theorems 3.2 and 3.3, the set is nonempty and open in . By Theorem 3.4, the set is open in . Using Theorem 2.10, we get that is nonempty. Therefore the set is nonempty and if , then the corresponding solution of problem (1.1), (1.11) is neither damped nor an escape solution. Therefore , and by Lemma 11 in [6], such solution is homoclinic.

The proof of Theorem 3.5 implies that if problem (1.1), (1.11) has an escape solution, then it has also a homoclinic solution. Hence the following corollary is true.

Corollary 3.6.

Assume that the assumptions of Theorem 2.10 are satisfied. Let problem (1.1), (1.11) have no homoclinic solution. Then it has no escape solution.

If we assume (2.51) and (2.52), then the growth of at is less than the critical value . This is necessary for the existence of homoclinic solutions of some types of (1.1). See the next example.

Example 3.7.

then we have proved in [12] that problem (1.1), (1.11) has no homoclinic solution and consequently no escape solution.

## Declarations

### Acknowledgment

This paper was supported by the Council of Czech Government MSM 6198959214.

## Authors’ Affiliations

## References

- Dell'Isola F, Gouin H, Rotoli G:
**Nucleation of spherical shell-like interfaces by second gradient theory: numerical simulations.***European Journal of Mechanics, B/Fluids*1996,**15**(4):545-568.MATH - Derrick GH:
**Comments on nonlinear wave equations as models for elementary particles.***Journal of Mathematical Physics*1964,**5:**1252-1254. 10.1063/1.1704233MathSciNetView Article - Gouin H, Rotoli G:
**An analytical approximation of density profile and surface tension of microscopic bubbles for Van Der Waals fluids.***Mechanics Research Communications*1997,**24**(3):255-260. 10.1016/S0093-6413(97)00022-0MATHView Article - Kitzhofer G, Koch O, Lima P, Weinmüller E:
**Efficient numerical solution of the density profile equation in hydrodynamics.***Journal of Scientific Computing*2007,**32**(3):411-424. 10.1007/s10915-007-9141-0MATHMathSciNetView Article - Lima PM, Konyukhova NB, Sukov AI, Chemetov NV:
**Analytical-numerical investigation of bubble-type solutions of nonlinear singular problems.***Journal of Computational and Applied Mathematics*2006,**189**(1-2):260-273. 10.1016/j.cam.2005.05.004MATHMathSciNetView Article - Rachunková I, Tomecek J:
**Bubble-type solutions of nonlinear singular problems.***Mathematical and Computer Modelling*2010,**51**(5-6):658-669.MATHMathSciNetView Article - Rachunková I, Tomecek J:
**Strictly increasing solutions of a nonlinear singular differential equation arising in hydrodynamics.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(3-4):2114-2118. 10.1016/j.na.2009.10.011MATHView Article - Rachunková I, Tomecek J:
**Homoclinic solutions of singular nonautonomous second-order differential equations.***Boundary Value Problems*2009,**2009:**-21. - Berestycki H, Lions P-L, Peletier LA:
**An ODE approach to the existence of positive solutions for semilinear problems in**.*Indiana University Mathematics Journal*1981,**30**(1):141-157. 10.1512/iumj.1981.30.30012MATHMathSciNetView Article - Bonheure D, Gomes JM, Sanchez L:
**Positive solutions of a second-order singular ordinary differential equation.***Nonlinear Analysis: Theory, Methods & Applications*2005,**61**(8):1383-1399. 10.1016/j.na.2005.02.029MATHMathSciNetView Article - Conti M, Merizzi L, Terracini S:
**Radial solutions of superlinear equations on**.**I. A global variational approach.***Archive for Rational Mechanics and Analysis*2000,**153**(4):291-316. 10.1007/s002050050015MATHMathSciNetView Article - Rachunková I:
**Nonexistence results in critical and supercritical cases of singular problems on the half-line.**submitted

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.