Abstract

We treat the existence and uniqueness of a solution for the generalized Blasius problem which arises in boundary layer theory. The shooting method is used in the proof of our main result. An example is included to illustrate the results.

1. Introduction

The steady motion in the boundary layer along a thin flat plate which is immersed at zero incidence in a uniform stream with constant velocity can be described [1] in terms of the solution of the differential equation: which satisfies the boundary conditions

This problem was first solved numerically by Blasius [2] and is the subject of a vast literature.

Some generalizations of the Blasius equation can be found in [3ā€“5]. In [3], the authors investigate the model , , arising in the study of a laminar boundary layer for a class of non-Newtonian fluids. In [4], the author considers the equation , which describes boundary layer flows with temperature dependent viscosity.

It is our goal to study the existence of solutions to the generalized boundary value problem consisting of the nonlinear third order differential equation subject to the boundary conditions (2). We assume that the functions , , and are continuous. The additional conditions imposed on and in (3) are the following ones:(H1) for some and all ;(H2);(H3) for some and all .

An example of (3), which satisfies the conditions (H1), (H2), and (H3), is . If and , then (3) coincides with the Blasius equation (1).

For the related Falkner-Skan equation [6] the similar generalization was given in [7]. Falkner-Skan equation describes the steady two-dimensional flow of a slightly viscous incompressible fluid past a wedge of angle ().

The shooting method [8] is used for treating the existence and the number of solutions to boundary value problem. The shooting method reduces solving a boundary value problem to solving of an initial value problem. So we consider solution of the auxiliary initial value problem for (3) with initial data and we are looking for and such that and . Applying the intermediate value theorem, continuity of with respect to leads to the existence of at least one such that .

The paper is organized as follows. Section 2 contains some auxiliary results. Section 3 is devoted to the properties of solutions of initial value problem (3), (4). In Section 4 we consider dependence of solutions on initial data. In Section 5 we deal with solutions to boundary value problem (3), (2). Also one example is given to illustrate the results. The ideas of the proofs of some results are taken from [6].

2. Preliminary Results

Proposition 1. Suppose that a function satisfies assumption (H1). If , then is increasing for and decreasing for . If , then .

Proof. Assume . First, let us prove that the function is increasing for . Let us choose . Obviously, there exists a such that . Now consider (we use the assumption to obtain the last inequality). Thus, is an increasing function for . Next, let us prove that the function is decreasing for . Let us choose . Obviously, there exists a such that . Now consider . Thus, is a decreasing function for .
Assume . It follows that , since for any ā€‰ā€‰.

Proposition 2. If a function satisfies assumptions (H2) and (H3), then is strictly increasing.

Proof. We can obtain that the function is strictly increasing repeating the arguments used in the proof of the previous proposition.

3. Properties of Solutions

Proposition 3. Let be a solution of initial value problem (3), (4). Let , , be the interval of existence of . If , then for .

Proof. Without loss of generality, let ; then will be positive in some open interval with the left boundary point . Suppose that there exists a point such that and for . Dividing (3) by and integrating from to , we obtain The right side is positive and . This contradiction proves the proposition.

Corollary 4. Let be a solution of initial value problem (3), (4). If , then and are positive and increasing functions for . Moreover if condition (H2) is satisfied, then is a decreasing function for . If , then and are negative and decreasing functions for .

Proof. Let . By Proposition 3ā€‰ā€‰ and therefore is increasing and, in view of , for . Since , then is increasing and, in view of , for .
Let (H2) hold. Since , , then in view of (3) and is a decreasing function for .
For the proof is analogous.

Proposition 5. Let be a solution of (3). If one of the functions , , or tends to infinity as then the others also tend to infinity.

Proof. If is bounded for then and also are bounded. If is bounded for then also is bounded and, by formula (5), is bounded. If is bounded then, by formula (5), is bounded and also is bounded.

Proposition 6. Let be a solution of initial value problem (3), (4). If then is defined for all ().

Proof. If is defined only in a finite interval then, by Proposition 5, , , and tend to as . But is a positive decreasing function and therefore bounded near . This contradiction proves the proposition.

Proposition 7. Let be a solution of initial value problem (3), (4). If and conditions (H1), (H2), and (H3) hold, then there exists a positive constant such that .

Proof. Since and are positive and increasing functions (Corollary 4), then there exists such that for ā€‰ā€‰ and . In view of is increasing for , it follows that there exists such that for ā€‰ā€‰. Thus, for . Dividing the last inequality by and integrating from to , we obtain
Since converges, then (by comparison test) or . Therefore, there exists a positive constant such that .

4. Scaling Formula

Proposition 8. Suppose that conditions (H1) and (H3) are fulfilled. If is a solution of (3), then the function where is an arbitrary constant, is also a solution of (3).

Proof. The proposition can be proved by direct substitution. So,
Then,
Therefore, Hence the proof.

Proposition 9. Suppose that conditions (H1) and (H3) are fulfilled. If is a solution of (3) such that then every solution of (3) which has a double zero at and the second derivative at of the same sign as ā€‰ā€‰ can be expressed via solution as

Proof. The proof follows from Proposition 8 and direct substitution. So, The proof is complete.

5. Existence of Solutions for Boundary Value Problem

Theorem 10. Suppose that conditions (H1), (H2), and (H3) are fulfilled, then boundary value problem (3), (2) has a unique solution.

Proof. Consider the solution of auxiliary initial value problem (3), (4). By Proposition 7 there exists a positive constant such that . By Proposition 9 the function defined by formula (12) is also a solution of auxiliary initial value problem (3), (4) and
Obviously, there exists a unique such that . Hence the proof.

Example 11. Consider the problem
The nonlinearities in the equation are chosen for the convenience of construction of the example. Conditions (H1), (H2), and (H3) are fulfilled; then boundary value problem (15) has a unique solution. Solution and its derivatives and of boundary value problem (15) are presented in Figure 1, which illustrates the main theorem. There is a solution such that , , and . The derivative as and as . The Wolfram Mathematica 7.0 package was used to construct the graphs.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This research has been supported by the European Social Fund within Project no. 2013/0024/1DP/1.1.1.2.0/13/APIA/VIAA/045.