Mixed convection in a Falkner–Skan system

The effects of mixed convection on the classical Falkner–Skan similarity solutions are considered, now involving a mixed convection parameter λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document} as well as the exponent m associated with the outer flow. The forced convection solutions indicate a singularity in the temperature field as m→0.070722\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m \rightarrow 0.070722$$\end{document}. Numerical solutions for m>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m>0$$\end{document} show the existence of a critical value λc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda _\mathrm{c}$$\end{document} with λc<0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda _\mathrm{c}<0$$\end{document} and solutions only for λ≥λc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda \ge \lambda _\mathrm{c}$$\end{document}. The nature of the solution for λ≫1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda \gg 1$$\end{document} is investigated. For m=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m=0$$\end{document}, there are solutions for all λ<0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda <0$$\end{document}, opposing flow, and only for a finite range of λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document} in aiding flow with the asymptotic solution as λ→-∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda \rightarrow -\infty $$\end{document} also being considered. Solutions for m<0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m<0$$\end{document} are obtained in the cases when there is a solution to the Falkner–Skan system and for a value of m when no solution to this system exists. In the former case, two completely separate parts to the solution are seen, whereas in the latter case, a solution exists only in aiding flow for a limited range of λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}. The variation of solution with the exponent m is also treated for both aiding and opposing flows. In both cases, a solution is seen to exist for all m>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m>0$$\end{document}, which, however, is limited to a relatively small range of m when m<0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m<0$$\end{document}.


Equations
The Falkner-Skan similarity solutions for the boundary-layer equations are based on an outer flow of the form U (x) ∝ x m for some exponent m, where x measures distance along the bounding surface [1,3,4]. Consequent on this form of outer flow, to obtain a similarity solution for mixed convection on a planar vertical surface, we require a prescribed wall temperature T w of the form T w − T ∞ ∝ x 2m−1 , where T ∞ is the (constant) ambient temperature. This leads to the boundary conditions: where ψ is the streamfunction defined in the usual way, and y measures the distance normal to the surface. In (1), is a length scale, U 0 > 0 is a velocity scale and T 0 a temperature scale which can be either positive (aiding flow) or negative (opposing flow).
To make the steady, two-dimensional boundary-layer equations for mixed convection flow on a vertical surface, see [27], for example, subject to boundary conditions (1) dimensionless, we introduce the variables where Re = (U 0 )/ν with ν is the kinematic viscosity. Then, to reduce the problem to similarity form, we make the further transformation, on dropping the overbars, This gives the similarity system subject to where primes denote differentiation with respect to η and where the mixed convection parameter λ = (gβ T 0 )/U 2 0 . In Eq. (5), σ is the Prandtl number and, for simplicity, we take σ = 1 throughout. At this stage, we put no restriction on the exponent m.

Forced convection, λ = 0, limit
We start by considering the solution to Eqs. (4)(5)(6) for the case when λ = 0. Then Eq. (4) is the standard Falkner-Skan problem, usually written in terms of β = 2m/(m + 1) rather than m, the exponent of the outer flow [3]. In Fig. 1a (for completeness), we plot the values of f (0) against m obtained from the numerical solution of (4,6). The graph indicates a saddle-node bifurcation at m = m c −0.09043, corresponding the value β −0.19884 given previously [4], leading to two solution branches in m c < m < 0. We note that, at the saddle-node bifurcation, f (0) = 0, changing from positive to negative. The upper branch solution can be continued to become large m (noting that we obtained numerical results for much larger values of m than are used to plot Fig. 1a). To determine the nature of the solution for m large, we put f = m −1/2 f , η = m 1/2 η. The leading-order problem is then where primes now denote differentiation with respect to η. Eq. (7) has the solution f (0) = 1.19304, giving f (0) ∼ 1.19304 m 1/2 + · · · as m → ∞. The lower branch solutions terminate in a singularity as m → 0 from below [5]. We now consider Eq. (5) for the temperature θ . We start by noting that, when m = 1 5 , Eq. (5) can be integrated to, on satisfying the outer boundary conditions, so that, in this case, θ (0) = 0, a result that also applies in the general, λ = 0, case. In Fig. 1b, we plot θ (0) against m. The occurrence of dual solutions arising from the saddle-node bifurcation at m = m c is not clear in the figure but is seen in our numerical solutions, noting that θ (0) = 0 at this bifurcation. For m large, we again put η = m 1/2 η with the leading-order problem becoming Equation (9) has the solution θ (η = 0) = −0.91925, giving θ (0) ∼ −0.91925 m 1/2 + · · · as m → ∞. These asymptotic results for large m are shown in Fig. 1 by broken lines and appear to give good agreement with the numerical values even at quite moderate values of m. However, the most significant feature of these results is that the solution becomes singular at m = m 0 with our numerical results suggesting that m 0 0.07 (indicated in Fig. 1b by a broken line), with |θ (0)| becoming infinite, even though f (0) remains finite and passes smoothly through m 0 . To describe how the solution behaves as m → m 0 , we put m = m 0 + , θ = −1 h and then look a solution valid for small by expanding   The leading-order problem is subject to where primes again denote differentiation with respect to η. Equation (11) is simply the Falkner-Skan problem for m 0 and this, together with Eq. (12) and the homogeneous boundary conditions on h 0 , is an eigenvalue problem for m 0 . To fix this, we add in the additional constraint that h 0 (0) = −1 to obtain the specific solution h 0 . We solved this problem using the program D02AGF in the NAG library [28]. This gave m 0 = 0.070722 and f 0 (0) = 0.454072. In general, h 0 (0) = −a 0 for some constant a 0 = 0 so that h 0 = a 0 h 0 . At O( ), we have subject to Equation (14) is simply a perturbation to the Falkner-Skan solution at m 0 , and our numerical integration gives f 1 (0) = 1.509195. The left-hand side of Eq. (15) is essentially Eq. (12) and hence (15) has a complementary function h 0 which satisfies homogeneous boundary conditions. Thus, we can specify h 1 (0) arbitrarily leading to a problem to determine a 0 . We again used D02AGF in the NAG library to carry out this, finding a 0 = 0.125381, so that near the singularity at m 0 seen in Fig. 1b consistent with the plots shown in the figure.

m > 0
We start by considering the case when m > 0, where there is only a single solution to the Falkner-Skan (forced convection) problem, Fig. 1a. In Fig. 2, we plot f (0) and θ (0) against λ for m = 1.0, 0.5 and 0.2, noting that, for m = 0.2, θ (0) = 0 for all λ. For these values of m, we see behaviour similar to that seen previously in mixed convection similarity solutions, see [19,20,24,29,30], for example. There is a critical value λ c of λ, with λ c < 0, solutions only for λ ≥ λ c , and a range of λ where there are dual solutions. The values of λ c depend on m, with |λ c | decreasing as m is decreased. The first solution branch (defined as the branch that contains the Falkner-Skan, λ = 0 solution, as in Fig. 1a) continue to become large λ, not obvious from the plots in Fig. 2 but clearly seen in our numerical solutions. We have already seen in the forced convection case that, at m = 0.2, the sign of θ (0) changes from negative (m > 0.2) to positive (m < 0.2). In Fig. 3, we plot f (0) and θ (0) against λ for m = 0.1. The picture for f (0) is similar to that seen in Fig. 2a, with a critical value λ c −0.0347, although being smaller than for m = 0.2 (for which λ c −0.31133), with the first solution branch continuing to become large λ. However, now θ (0) > 0 gives rise to a temperature 'overshoot' for the first branch solutions and to large, positive values of θ (0) on the second solution branch, becoming increasingly larger as λ → 0 from below. We have already identified a value m 0 0.070722 where the solution for forced convection becomes singular, Fig. 1b. This leads us to expect a similar situation in the general case and, to this end, we next consider a value of m in the 0 < m < m 0 range. We choose m = 0.02 as our example, and in Fig. 4, we again plot f (0) (Fig. 4a) and θ (0) (Fig. 4b) against λ. In these figures, the first solution branch (again defined as the branch that contains the Falkner-Skan solution) is shown by a broken line. This branch continues in a small way into the aiding-flow regime, i.e. λ > 0, terminating at λ = λ 0 0.1411 in an apparently smooth fashion as appears from our numerical solution. There is a critical value λ c −0.6410, somewhat larger than that seen for m = 0.2 and m = 0.1, giving another (second) solution branch (full line). There is a range of λ > λ c with dual solutions, and it is now the second solution branch that continues to become large λ. However, the behaviour of θ (0) is more like that seen in Fig. 1b in that the second solution branch for θ becomes singular, now as λ → 0 with |θ (0)| → ∞ although the solution for f (0)) on this branch appears to pass smoothly through λ = 0.
To determine the nature of this singularity on the second solution branch as λ → 0, we put θ = λ −1 h and leave f and η unscaled. At leading order, we now have subject to In Fig. 5, we plot the values of f (0) and h (0) obtained from the numerical solution of Eqs. (18,19), then with θ (0) = λ −1 h (0), noting that this gives θ (0) > 0 as λ → 0 from above and θ (0) < 0 as λ → 0 from below, consistent with Fig. 4. We see that a nontrivial solution to (18,19) exists, i.e. a solution which does not have h ≡ 0, only for m < m 0 , with f (0) approaching the corresponding Falkner-Skan solution and h (0) approaching zero as m → m 0 . The When transformation (20) is applied to Eqs. (18,19), we obtain an expansion of the form: subject to the homogeneous boundary conditions in (19) and that nowh(0) = δ 2 ,f → δ asη → ∞ with primes denoting differentiation with respect toη. The leading-order problem is given bỹ Since this is a homogeneous problem, we solve it subject to the extra conditionf (0) = 1. It is the solution to this homogeneous problem, which determines m s with our numerical integration again using D02AGF in the NAG library [28] gives m s = 0.010498. In general,f 0 (0) = a 1 with the constant a 1 is determined by a consideration of the equations arising at O(δ). The details are not included here but are described below for the general problem. The limit m s on the solution is indicated in Fig. 5 by a broken line. These results suggest that the solution for θ becomes singular as λ → 0 in the way described above only for m in the range m s < m < m 0 .
Critical values, λ c A significant feature of the results shown in Figs. 2, 3 and 4 is the existence of a critical value λ c with dual solutions arising from the saddle-node bifurcation at λ = λ c . We now discuss these critical values in more detail. We can calculate λ c numerically following the approach given in [25,31], for example, whereby we make a linear perturbation to Eqs. (4-6) resulting in a linear homogeneous problem for this perturbation. To obtain this, we put is the solution at the critical value and φ, g are small perturbations, which satisfy, on linearizing with the final condition in (25)   By obtaining a nontrivial solution to the eigenvalue problem (23 -25), the values of λ c are determined. In Fig. 6a, we plot λ c against m, for m > 0, obtained by this method. We see that λ c decreases almost linearly for the larger values of m, and increases to zero at m = m 0 before decreasing again, becoming large as λ → 0. In Fig. 6b, c, we plot f c (0) and θ c (0), respectively, the values of f (0) and θ (0) at λ = λ c . We see that f c (0) is negative for the larger values of m, changes sign at m = 0.2, becoming large as m → 0. To see why f c (0) = 0 at m = 1 5 , we have (φ, g) = − 1 5 + λ c f c , θ c on noting that θ c (0) = 0 for this value of m. This satisfies all the boundary conditions in (25) There is a singularity in the solution for θ c at m = m 0 (shown in Fig. 6c by a broken line), as perhaps might be expected from the forced convection solution, with θ c (0) > 0 becoming large as m approaches m 0 from above. For 0 < m < m 0 , θ c (0) < 0 also becoming large as m → m 0 from below, compare Fig. 6c with Fig. 1b. The values of θ c (0) also become large and negative as m → 0, in line with the results plotted in Fig. 4.
Solution for large λ: the free convection limit We have observed that a feature of the solutions described above is that, for m > m 0 , the first solution branch and, for 0 < m < m 0 , the second solution branch continue to large values of λ, and we now derive a solution valid in this limit. To do so, we put, following [32,33], for example, f = λ 1/4 F, ζ = λ 1/4 η, thus leaving θ unscaled. When we apply this transformation to Eqs. (4-6) and then let λ → ∞, we obtain, for the leading-order problem (F 0 , θ 0 ), with subject to where primes now denote differentiation with respect to ζ .
In Fig. 7, we plot F 0 (0) and θ 0 (0) against m obtained from the numerical solutions of (26,27). We see that F 0 (0) > 0 initially increases relatively slowly as m is decreased from m = 1 (the upper limit on m used for the figure), then becoming large relatively quickly as m is decreased further. Solutions were obtained for larger values of m used in the figure. Also θ 0 (0) is negative for larger m, changes sign at m = 0.2, as expected, again becoming large and positive as m becomes smaller. We note that our numerical solution of Eqs. (26,27) did not appear to encounter any problem in passing through m = m 0 . For m large, we put F 0 = m −3/4 F 0 , θ 0 = θ 0 , ζ = m 1/4 ζ . The leading-order problem, obtained by substituting this transformation into Eqs. (26,27) and letting m → ∞, has the solution, for σ = 1.0, We then have Applying transformation (29) in (26,27) gives now subject to primes now denoting differentiation with respect to ξ . Equations (30)(31)(32) suggest looking for a solution valid for δ small by expanding The leading-order problem is subject to homogeneous boundary conditions arising from (32). As in the forced convection case, this is an eigenvalue problem for m i and to determine m i , we construct the particular solution: (G 0 , H 0 , ξ) which has G 0 (0) = 1. We note that (34) is essentially the same problem given by (22) and our numerical integration for σ = 1, again using D02AGF in the NAG library [28], gives m i = 0.010498 and H 0 (0) = 0.77292 as before. In general, G 0 (0) = b 0 , with b 0 > 0, and putting 0 ξ leaves the leading-order problem unchanged. To determine the constant b 0 , we need to consider the terms of O(δ), and at this order,ifvujyh we have, on writing subject to H 1 (0) = 1, with primes denoting differentiation with respect to ξ . Since the problem given by (35, 36) has a complementary function, namely G 1 = ξ G 0 + G 0 , H 1 = ξ H 0 + 4H 0 , which satisfies homogeneous boundary conditions, this problem then leads us to determine b 0 . Our numerical integration, again for σ = 1, gives b 0 = 0.18994. Using this value in transformation (29) then gives Asymptotic expressions (37) are shown in Fig. 7 by broken lines and are in good agreement with the numerically determined values for m close to m i . The discussion given above and the results shown in Figs. 5c, 6 and 7 suggest that the solution becomes singular as m → 0 which leads us to consider the case when m = 0.

m = 0
The solution for λ = 0 is the Blasius problem, see [3] for example. In Fig. 8, we plot f (0) and θ (0) against λ for this case. We now find that the first solution branch can proceed only a small way into the aiding-flow regime, i.e. λ > 0. There is a critical value at λ = λ c 0.4947 giving a range of λ < λ c where there are dual solutions. The second solution branch terminates as λ → 0, with f (0) appearing to approach a finite value and θ (0) becoming large. Here, as opposed to the previous cases for m > 0, the first solution branch continues to large negative values of λ, i.e. there is a solution existing for the whole opposing-flow regime, i.e. λ < 0.
To obtain the asymptotic solution as λ → −∞, we proceed as above, now putting f = |λ| 1/4 F, ζ = |λ| 1/4 η and again leaving θ unscaled. This leads to, for a general value of m, the leading-order problem (F 0 , θ 0 ) satisfying subject to where primes still denote differentiation with respect to ζ . In Fig. 9, we plot F 0 (0) and θ 0 (0) against m obtained from the numerical solution of Eqs. (38, 39). The numerical solution shows the existence of a critical value m a −0.074 of m, with dual solutions for a range of values m > m a . The upper solution branch (as seen in Fig. 9a) becomes singular as m → m i , indicated by broken lines, where m i 0.010498 is the same value given above. To see why this is the case, we can still apply transformation (29) to Eq. (38) with the only difference being that the sign of H is changed in Eq. (30). The leading-order problem, which satisfies homogeneous boundary conditions, is essentially the same as (34), and hence leads to the same value for singularity as m approaches this value, with the boundary-layer thickness increasing rapidly and the changes in F 0 (0) and θ 0 (0) increasing.
The values for f (0) and θ (0) given in (40) are relatively poor approximation to the results plotted in Fig. 8 and require much larger values of |λ| to get better agreement (which is confirmed in our numerical integrations). This might be expected as the next order terms are only of O(|λ| −1 ).

m c < m < 0
In this case, for 0 > m > m c −0.09043, there are two solutions for the Falkner-Skan, λ = 0, problem, see Fig. 1. In Fig. 10, we plot f (0) and θ (0) against λ for m = −0.05 representative of this case. We see that there are now three solution branches, two arising from the saddle-node bifurcation at λ c −0.1520 contain the Falkner-Skan, λ = 0, solution. The lower branch, which has f (0) < 0 at λ = 0, terminates at a positive value of λ with f (0) approaching zero and θ (0) approaching a finite negative value. There is a further saddle-node bifurcation on the middle solution branch, which has f (0) > 0 at λ = 0, in the aiding-flow regime, i.e. at λ c 0.5633, giving a The results shown in Fig. 10 do not proceed to large negative values of λ. However, we have already seen in Fig. 9 that solutions do exist in the limit as λ → −∞ for this value of m. In Fig. 11, we plot additional solutions for m = −0.05, with these solutions being disjoint from the solutions shown in Fig. 10. These solutions have a saddle-node bifurcation at λ c −9.066 with both solution branches proceeding to large negative values of λ. We can see why this is the case in Fig. 9. Here, for m = −0.05, there are are two solutions, one having F 0 (0) = 0.7695, θ (0) = −1.5534 and the other having F 0 (0) = −0.3920, θ (0) = −0.5541, giving for the upper solution branch and for the lower solution branch as λ → ∞, consistent with the plots shown in Fig. 11.

Critical values
We have seen the existence of critical values λ c in the results for m = 0 (Fig. 8) and for m = −0.05 (Fig. 10), and so the picture shown in Fig. 6 does not reveal the full story. To complete the picture, we now concentrate on values of m ≤ 0 and in Fig. 12a, we plot further values of λ c against m. Our numerical calculations, using Eqs. (23)(24)(25), give two disjoint branches. The upper branch terminates at m 0.0229 and at m −0.1875 and has λ c > 0 with λ c changing only relatively slowly in this range. The lower branch changes sign from negative to  Fig. 12a, and in Fig. 13 we plot f (0) and θ (0) against λ. We find a critical value λ c 0.3119, consistent with Fig. 12 (upper branch), with dual solutions in 0 < λ < λ c and with both solution branches becoming singular as λ → 0 in which f (0) appears to be approaching constant values and θ (0) becoming large. (We note that θ (0) achieved much larger values on both solution branches as λ became small than those that are used to plot Fig. 13). We were unable to find any solutions in the opposing-flow regime, i.e. λ < 0. Our discussion to present has concentrated on determining the behaviour of the solution for specific values of m, i.e essentially plots of f (0) and θ (0) against λ for a given value of m. We can gain further insight into the nature of problem by fixing a value for λ and considering how the solution varies with m. This is what we propose to do next.

Variation with m
We consider two cases, λ = 0.5, representative of aiding flow, and λ = −0.5, representative of opposing flow.

Aiding flow
In Fig. 14, we plot results for λ = 0.5. For this case, there is no critical value in m > 0, Fig. 6a, and only one critical value, at m −0.1084 in m < 0, Fig. 12a. This is reflected in the results shown in Fig. 14  The solution for large m follows that given above for forced convection. If we apply the transformation given, then we find that the buoyancy term enters the problem at leading order only if λ is of O(m). When λ is of O(1), the leading-order problem for m large is given by Eq. (7) together with On solving Eq. (43), we find that θ (0) ∼ −0.91925 m 1/2 + · · · as m → ∞. This asymptotic result is shown in Fig. 14b by a broken line and is in very good agreement with the numerically determined values even at relatively small values of m. The corresponding f (0) ∼ 1.19304 m 1/2 + · · · is shown in Fig. 14a, again by a broken line, in agreement with the numerical values being not as good as for θ (0).
To determine the value of m s and the nature of the solution as m → m s , we follow an approach similar to that seen above in the free convection limit. We start by putting m = m s + δ, where 0 < δ 1 and then put When transformation (44) is substituted into Eqs. (4)(5)(6), an expansion of the form is suggested with the leading-order term being given by subject to the homogeneous boundary conditions where primes now denote differentiation with respect to Y . Equations (46, 47) represent an eigenvalue problem for m s and and is the same as that given in (34) in the large λ limit. As before, we determine that particular solution (g 0 , h 0 , Y ) which has g 0 (0) = 1, and so, for σ = 1, m s = m i = 0.010498 with a corresponding value, h 0 (0) = 0.77292. We note that this value for m s is independent of λ. Now g 0 (0) = d 0 , for some d 0 > 0, and the general solution is then given by When we apply (48) in the next order term in expansion (45) and put g 1 = d The values for f (0) and θ (0) given in (51) are in reasonable agreement with the numerical values plotted in Fig. 14 for m close to m s .

Opposing flow
We plot the results for λ = −0.5 in Fig. 15. Here, from Figs. 6a and 12a, there are three critical values of m. The saddle-node bifurcation at m 0.2660 produces dual solutions, one branch of which continues to large m in the way described above. The other branch terminates at a finite value of m 0.3494. There is another disjoint solution branch arising from the critical value at m −0.0275 giving one solution branch that continues into m > 0, with another critical value at m 0.0221 (not obvious in the figure but seen clearly in the numerical results) and then again becoming singular as m → m s 0.01050 from above, with f (0) and θ (0) becoming large and positive/negative. The behaviour of the solution close to m s is similar to that given above for aiding flow, the only difference being a change of sign for θ resulting from (44) and the consequent change of sign for θ (0) in (51). The other other solution branch terminates at m 0.1814, so that it appears that, in this case, there is a finite range of m over which there is no solution.

Discussion and conclusions
We have considered the effects of mixed convection on the classical Falkner-Skan system involving the two parameters, m associated with the form of the outer flow and the mixed convection parameter λ. We have observed some, perhaps unexpected, results. The first of these is that, for forced convection, the existence of a value m = m 0 0.07072 where there is a singularity in the solution for the temperature, Fig. 1b, this being independent of the flow. We consider this case further in Fig. 16 with plots of f (0) and θ (0) against λ for m = 0.070722. The singular nature of the solution as λ → 0 can clearly be seen in the figure with f (0) approaching its Falkner-Skan value of approximately 0.4541 as λ approaches zero from above. For λ > 0, θ (0) becomes increasingly larger as λ → 0 + , whereas for, λ < 0, both f (0) and θ (0) approach finite values, although with the thickness of the boundary layer increasing, as λ → 0 − . As can be seen in Figs. 7 and 9, the solution proceeds to both large positive and negative values of λ in this case, with f (0) ∼ 2.143 λ 3/4 + · · · , θ (0) ∼ 1.425 λ 5/4 + · · · as λ → ∞, f (0) ∼ −0.783 |λ| 3/4 + · · · , θ (0) ∼ −0.502 |λ| 5/4 + · · · as λ → −∞.
We find that asymptotic expressions (52, 53) are not particularly good fit to the numerical values for the values of λ used to plot Fig. 16.
For the general problem, we started by considering the case when m > m 0 finding behaviour similar to that seen previously in related problems, Figs. 2 and 3, in which there is a critical value λ c of λ, dependent on m, limiting the range of solution to λ ≥ λ c with one solution branch continuing to large positive values of λ and the other branch terminating at a finite value of λ. We then took a value for m in 0 < m < m 0 , Fig. 4, finding similar behaviour, although it was now the first solution branch, i.e. that branch containing the Falkner-Skan, λ = 0, solution, which terminated at a finite value of λ, whereas the second solution branch was now the one that continued to large λ .
This led us to consider the free convection, λ → ∞, limit, Fig. 7. The main feature of this asymptotic solution was the existence of a value m i 0.0105 of m limiting the possibility of having solution continuing to large λ to only m > m i . This was reflected in the results for m = 0, Fig. 8, which contains the classical Blasius solution for λ = 0. Here the solution for aiding flow, λ > 0, continued only to a saddle-node bifurcation at λ 0.4947 which gave two solution branches, the one containing the Blasius solution continued to become large negative values of λ. Following on from this, we next considered the solution for |λ| 1, λ < 0, Fig. 9, again that it it became singular as m → m i . There was also a saddle-node bifurcation at m = m a −0.074 putting a lower bound on m for a solution in this limit.
We then looked at the case when m < 0, starting with a case when m > m c , Figs. 10 and 11, i.e. where there are two solutions in the original Falkner-Skan system. Here we found two separate parts to the solution, one part arising from the two solutions to the Falkner-Skan problem in 0 > m > m c Fig. 10, and a completely separate part, Fig. 11, giving the two solutions that appear in the |λ| limit. This gave three critical values, two in the first part and one in the second part, leading us to consider the critical values λ c further for m < 0 in Fig. 12. This figure reveals two disjoint branches, as might be expected from the results shown in Figs. 10 and 11. One branch continues the Falkner-Skan solution with λ c = 0 and the other branch arises from the saddle-node bifurcation in the large |λ| limit. It might appear from Fig. 12a that these two branches could join (although it is less obvious in Fig. 12b). However, we were unable to do so even when progressing the numerical solution in very small increments of m.
A feature of our calculations of λ c was a range of m < m c where a solution is indicated. We examined this case in Fig. 13 for m = −0.15 < m c for which value λ c > 0, and there is no solution in the large |λ| limit. As a consequence, we found solutions only for aiding flow, λ > 0, with a critical value at λ c 0.3119 limiting the range of solutions. Both solution branches emerging from the saddle-node bifurcation became singular as λ → 0 from above.
Lastly, we examined how the solution behaved with the exponent m for a fixed value of λ for both aiding flow, Fig. 14, and opposing flow, Fig. 15. In both cases, we found a solution for all m > 0 approaching the corresponding asymptotic limit as m → ∞. For aiding flow, there was a solution for only a limited range of m < 0. The same applied for opposing flow although now this solution did extend slightly into m > 0 with one solution branch becoming singular as m → m i .
Finally, it is worth thinking about the temporal stability of the similarity solutions. To address this aspect, we can set up an initial-value problem by adding time-dependent terms to the equations with the similarity solutions then being possible large time behaviour of this system. By making a linear perturbation about the similarity solutions proportional to e ω t leads to an eigenvalue problem for ω with its sign determining the stability. Previous studies, though limited, of this and related problems suggest that it is the upper branch solutions, as seen in Fig. 2a, which are stable, the saddle-node bifurcation at λ c leading to a change in the temporal stability with the lower branch being unstable. From this, we might conjecture that the solution branch that proceeds to large λ is the stable one, changing stability at a saddle-node bifurcation. What happens when the solution proceeds to large negative λ or when there are more than two solutions, as in Figs. 10 and 11, is far from clear and needs further treatment, although this is beyond the scope of the present work.