Boundary Layer Solutions to Singularly Perturbed Problems via the Implicit Function Theorem
|
|
- Lynette Carr
- 5 years ago
- Views:
Transcription
1 Boundary Layer Solutions to Singularly Perturbed Problems via the Implicit Function Theorem Oleh Omel chenko, and Lutz Recke Department of Mathematics, Humboldt University of Berlin, Unter den Linden 6, D-99 Berlin, Germany Institute of Mathematics, National Academy of Sciences of Ukraine, Tereshchenkivska Str. 3, 6 Kyiv-4, Ukraine Abstract. We prove existence, local uniqueness and asymptotic estimates for boundary layer solutions to singularly perturbed problems of the type u = f(x, u, u,, < x <, with Dirichlet and Neumann boundary conditions. For that we assume that there is given a family of approximate solutions which satisfy the differential equation and the boundary conditions with certain low accuracy. Moreover, we show that, if this accuracy is high, then the closeness of the approximate solution to the exact solution is correspondingly high. The main tool of the proofs is a modification of an Implicit Function Theorem of R. Magnus. Finally we show how to construct approximate solutions under certain natural conditions. Keywords: singular perturbation, asymptotic approximation, boundary layer, implicit function theorem. Introduction This paper is concerned with boundary value problems for second order semilinear ODEs of the type } u (x = f(x, u(x, u (x,, < x <, (. u( = β, u ( = β, where the function f :, ] R, R is of class C, the boundary data β, β R are fixed numbers, and is a small positive parameter. We suppose that f(x,,, = and f(x,,, > for all x, ], (. and that there exist C -functions w, w :, R such that } w (y = f(, w (y, w (y,, y >, w ( = β, w ( =, w (, (.3 and w (y = f(, w (y, w (y,, y >, w ( =, w ( =. } (.4
2 Here f denotes the partial derivative of the function f with respect to its second variable. Similar notation will be used later on. Our goal here is to describe existence, local uniqueness and asymptotic behavior for of boundary layer solutions to (., i.e. of solutions u with u(x W (x := w w ( x. (.5 In particular, we consider approximate solutions of the general form ( x U (x := W (x r (x = w w r (x, (.6 where r W, (, is small in a certain sense, and derive an explicit estimate for the distance between U (x and the exact solution to (.. This distance will be measured by the norms u := max { u(x : x, ]} and u,, where u n, := ( n k u (k (x dx. (.7 Our main result is the following k= Theorem. Let f C (, ] R, satisfy (. (.4 and let r W, (, obey r, for. (.8 Then there exist > and δ > such that for all (, there exists exactly one solution u = u to (. such that u U, < δ. Moreover, there exists c > such that u U, cω(, (.9 where ω( := ( U (x f(x, U (x, U (x, dx U ( β U ( β. (. Remark. It is easy to see that u L (,/ const u W, (,/ uniformly with respect to (, ]. Hence, there exists a constant c > such that u c u, and u c u, for all (, ] and all u W, (,. Therefore, the conclusion of Theorem. implies that u U const ω( and u U const ω(.
3 Remark.3 Assumption (. implies that the origin of the phase plane (w, w is a hyperbolic saddle point for each of the two-dimensional autonomous systems w (y = f(i, w(y, w (y,, i =,. (. Indeed, the corresponding linearized equations have two nonzero eigenvalues with opposite signs λ ± i = ( 3 f(i,,, ± 3 f(i,,, ] 4 f(i,,,. (. Therefore, on the phase plane (w, w there exist one-dimensional stable manifolds corresponding to the systems (. and (., which contain solutions of the boundary value problems (.3 and (.4, respectively ]. Moreover, every solution to (.3 or (.4 satisfies exponential estimates w i (y, w i(y b i e λ i y for all y, i =,, (.3 where b i > are some fixed constants (cf. Lemma 5.. Note, we do not impose any restrictions on the form of functions w and w. In particular, they may be non-monotone and even partly oscillating. Remark.4 Using Theorem. one can justify formal solution asymptotics to problem (. provided they are close to W in the, norm. In particular, due to this theorem one obtain different accuracy estimates depending on the structure of function f and boundary data of problem (. (compare, for example, Remark 3.3 and Theorem 4.. Remark.5 If the function f doesn t depend neither on u (x nor on, then (. reads as } u (x = f(x, u(x, < x <, (.4 u( = β, u ( = β. For those problems J. Hale and D. Salazar showed in ] existence and asymptotic behavior for of solutions with boundary and interior layers. Their existence proofs were based on a combination of the Liapunov-Schmidt procedure and the implicit function theorem. For that they needed eigenvalue estimates for the differential operator d dx f(x, U(x, with corresponding homogeneous boundary conditions, where U(x, is a family of approximate solutions to (.4. The proof of our Theorem. is also based on the implicit function theorem, but we need neither the Liapunov-Schmidt procedure nor eigenvalue estimates. Instead we use a lemma of R. Magnus 8, Lemma.3] which helps to verify the assumptions of a quite general implicit function theorem (see our Section. Moreover, our results work already in the case when just leading terms describing the behavior of the boundary 3
4 layers are known (Remark 3., while the Hale and Salazar s approach requires an approximation of a higher order. Remark that existence and asymptotic behavior for of solutions to (.4 with monotone Dirichlet boundary layers and with trivial Neumann boundary layers is proved also by upper and lower solution techniques, see, for example, 3, 4]. Remark.6 We deal here with a special choice of boundary conditions. But our results and the technique of proof remains valid with slight changes for the case of general linear boundary conditions: where α i, i =,. α u( ( α u ( = β, α u( ( α u ( = β, Modified Implicit Function Theorem In this section we formulate and prove an implicit function theorem with minimal assumptions concerning continuity with respect to the control parameter. This is just what we need for the proof of our Theorem.. Our implicit function theorem is very close to that of R. Magnus 8, Theorem.]. The difference is that we work in bundles of Banach spaces, while Magnus works with a fixed pair of Banach spaces. For other implicit function theorems with weak assumptions concerning continuity with respect to the control parameter see 5, Theorem 7], 6, Theorem 3.4] and 7, Theorem 4.]. Theorem. Let for any (, be given Banach spaces U and V and maps F C (U, V such that F ( for, (. and F (u F ( for u (. there exist (, ] and c > such that for all (, the operators F ( are invertible and F ( c. } (.3 Then there exist (, and δ > such that for all (, there exists exactly one u = u with u < δ and F (u =. Moreover, Proof For (, we have F (u = if and only if Moreover, for such and all u, v U we have G (u G (v = u c F (. (.4 G (u := u F ( F (u = u. (.5 G (su ( sv(u vds = = F ( (F (su ( sv F ( (u vds. 4
5 Hence, assumptions (. and (.3 imply that there exist (, and δ > such that for all (, G (u G (v u v for all u, v Kδ := {w U : w δ}. Using this and (.3 again, for all (, we get G (u G (u G ( G ( u c F (. (.6 Hence, assumption (. yields that G maps K δ into K δ for all (,, if is chosen sufficiently small. Now, Banach s fixed point theorem gives a unique in K δ solution u = u to (.5 for all (,. Moreover, (.6 yields u / u c F (, i.e. (.4. The following lemma is 8, Lemma.3], translated to our setting. It gives a criterion how to verify the key assumption (.3 of Theorem.: Lemma. Let F ( be Fredholm of index zero for all (,. Suppose that there do not exist sequences,... (, and u U, u U... with u n = for all n N and n F n (u n for n. Then (.3 is satisfied. Proof Suppose that (.3 is not true. Then there exist a sequence,... (, with n for n such that either F n ( is not invertible or it is but F n ( n for all n N. In the first case there exist u n U n with u n = and F n (u n = (because F n ( is Fredholm of index zero. In the second case there exist v n V n with v n = and F n ( v n n, i.e. F n (u n n with u n := But this contradicts to the assumptions of the lemma. 3 Proof of Theorem. F n ( v n F n ( v n. In this section we prove Theorem.. Hence, we always suppose the assumptions of Theorem. to be satisfied. In particular, we use the functions w and w, which are introduced in (.3 and (.4, respectively. We are going to apply Theorem.. Thus, from the beginning we introduce the necessary setting. First, for every (, ] we set U := W, (, with norm,, V := L (, R with norm,. Then we define F C (U, V as follows F (v := v (x U (x f(x, v(x U (x, v (x U (x, v( U ( β v ( U ( β 5.
6 Obviously, we have F (v = if and only if v U is a solution to boundary value problem (.. Besides, we remark that ω( = F ( V. In what follows we often use a change of variables x x/ and x ( x/. Expressions obtained in result of this transformation can be estimated with a help of the next Remark 3. Let g :, ],, ] R have uniformly bounded partial derivatives g(x, y, and 3 g(x, y,. Then there exists a constant C > such that g(y, y, g(, y, g( y, y, g(, y, C( y for all y, /] and (, ]. Now we start to verify assumptions of Theorem.. In a first step we consider condition (.. Taking into account assumptions (.3, (.4 and def intion (.5 we find that the first component of F ( equals ( F (x := r (x f, w, w ( ( ( x x f, w, w,, Obviously, the latter term in (3. can be rewritten as follows f (x, U (x, U (x, = f (x, W (x, W (x, f (x, U (x, U (x,. (3. f (x, U (x sr (x, U (x sr (x, r (xds 3 f (x, U (x sr (x, U (x sr (x, r (xds. (3. Next, we transform the first term in the right hand side of (3. and obtain f (x, W (x, W (x, = f(x,,, ( ] f x, w, w, f(x,,, ( ( ( ] x x f x, w, w, f(x,,, f ( ( x x, sw tw, sw tw w ( x w dsdt ( x, 6
7 3 f 3f ( ( x x, sw tw, sw tw ( x w w w w ( x ( ( x x, sw tw, sw tw w w ( x ( x ] dsdt ( x,, dsdt. (3.3 Inequalities (.3 imply that the absolute values of the three last integrals in (3.3 can be estimated with const e λ x/ e λ ( x/ = const e λm/, where λ m := max{λ, λ }. Thus, substituting (3.3 into (3. and the latter one into (3., we obtain F, f(x,,,, f ( ( x f x, w f f ( x, w (, w, w,, ( x, w (, w ( x, w ( x, w,, f(x,,,,, f(x,,, O ( r, e λ m/.(3.4 Now assumption (. and Remark 3. imply that f(x,,,, const, ( ( x ( f x, w, w, f(x,,, f, w, w, =, / = f(y, w (y, w (y, f(y,,, f(, w (y, w (y, dy = = / f(y, sw (y, w (y, ds f(, sw (y, sw (y, ] w (yds 3 f(y, sw (y, w (y, ds 3 f(, sw (y, sw (y, ] w (yds / const ( y w (y dy const ( y w (y dy dy and analogous estimate for the third term in (3.4. Thus, taking into account inequalities (.3 we finally obtain F, = O( r,. 7
8 The second and the third components of F ( equal w (/r ( and w (/ r ( β, respectively, and they can be estimated due to inequalities (.3 as O( r,. Consequently, F ( V = O( r,, (3.5 i.e. (. is satisfied. Remark that, if the (. and (.3 are also satisfied and, hence, Theorem. works, then its assertion (.4 together with (3.5 imply the claimed asymptotic estimate (.9, (.. In a second step we verify assumption (. of Theorem.. Obviously, the second and the third components of F (v F ( vanish. The square of the, norm of the first component of (F (v F ( v is f(x, v U, v U, f(x, U, U, ]v(x = 3 f(x, v U, v U, 3 f(x, U, U, ]v (x dx = f(x, sv U, sv U, ds v(xv(x 3 f(x, sv U, sv U, ds v(xv (x 3 f(x, sv U, sv U, ds v (xv(x 3f(x, sv U, sv U, ds v (xv (x const max x { v(x v (x } dx (v(x v (x dx const v U v U, i.e. (. is also satisfied. In the third and last step we verify assumption (.3 of Theorem.. For that we use Lemma.. It is well-known that linear differential operators of the type v W, (a, b (v c(yv d(yv, v(a, v (b L (a, b R with continuous coefficients c and d are Fredholm of index zero. Hence, it remains to verify the second assumption of Lemma.. Let n (, and v n W, (, be sequences with n ( vn (x nv n(x 4 nv n(x dx = (3.6 8
9 and n v n ( n v n( n n v n(x f(x, U n (x, n U n (x, n v n (x 3 f(x, U n (x, n U n (x, n n v n(x ] dx. (3.7 We introduce auxiliary functions ṽ n in the next way: v n ( n y for y /( n, ṽ n (y := ( ( v n exp λ y ] for y /( n, n where λ is defined in (.. Then it follows from (3.6 that ṽ n is a bounded sequence in the Hilbert space W, (, with its usual norm. Hence, without loss of generality we can assume that there exists v W, (, such that ṽ n v in W, (, for n. (3.8 Remark that, because of the continuous embedding W, (, L (,, ṽ n is a bounded sequence also in L (,. Moreover, assumption (3.6 and the continuous embedding W, (, C (, ] imply that the sequence ṽ n( = n v n( is bounded too. These two facts will be used in the following. We are going to show that v =. For that reason we derive a variational equation for v. Let us take a test function η W, (, with η( = and consider an integral ṽ n(yη (y f(, w (y, w (y, ṽ n (yη(y 3 f(, w (y, w (y, ṽ n(yη(y] dy = /( n...] dy...] dy. (3.9 /( n Under the above formulated assumptions, both terms in the right hand side of (3.9 vanish for n. Indeed, the latter term of (3.9 can be rewritten as a sum of tending to zero sequences ṽ n(yη (y f(, w (y, w (y, ṽ n (yη(y /( n = /( n 3 f(, w (y, w (y, ṽ n(yη(y] dy = ṽ n(y f(,,, ṽ n (y 3 f(,,, ṽ n(y] η(ydy 9
10 ṽ n ( ( η n n f(, w (y, w (y, f(,,, ] ṽ n (yη(y dy /( n 3 f(, w (y, w (y, 3 f(,,, ] ṽ n(yη(y dy. (3. /( n The first term in the right hand side of (3. tends to zero by definition of function ṽ n. The second one vanishes since the sequence ṽ n(/( n = λ v n (/ is bounded and the sequence η(/( n tends to zero. Finally, the rest two terms of (3. tend to zero because of inequalities (.3. In a similar way we treat the first term in the right hand side of (3.9. Namely, we rewrite it as follows: /( n = ṽ n /( n ṽ n(yη (y f(, w (y, w (y, ṽ n (yη(y 3 f(, w (y, w (y, ṽ n(yη(y] dy = ṽ n(y f( n y, U n ( n y, n U n ( n y, n ṽ n (y 3 f( n y, U n ( n y, n U n ( n y, n ṽ n(y ] η(ydy ( ( η n n /( n /( n f(, w (y, w (y, f( n y, U n ( n y, n U n ( n y, n ] ṽ n (yη(y dy 3 f(, w (y, w (y, 3 f( n y, U n ( n y, n U n ( n y, n ] ṽ n(yη(y dy. (3. Then the first term in (3. tends to zero due to (3.7, and the second one vanishes as a product of bounded sequence ṽ n(/( n = n v n( (see again (3.7 and tending to zero sequence η(/( n. To prove that the rest two terms in (3. vanish too, we need a more sophisticated analysis. Since the arguments which we use below are the same for both terms, we consider only one of them, namely, the last term of (3.. For
11 that we rewrite it as follows /( n 3 f(, w (y, w (y, 3 f( n y, U n ( n y, n U n ( n y, n ] ṽ n(yη(y dy = /( n = 3 f(, w (y, w (y, 3 f( n y, w (y, w (y, n ] ṽ n(yη(y dy /( n 3 f( n y, w (y, w (y, n 3 f ( n y, W n ( n y, n W n ( n y, n ] ṽ n (yη(y dy /( n 3 f ( n y, W n ( n y, n W n ( n y, n 3 f( n y, U n ( n y, n U n ( n y, n ] ṽ n(yη(y dy. (3. The absolute value of the second term in the right hand side of (3. is bounded by a constant times { ( max w y y /( n n w ( } /( n y ṽ n(y η(y dy, n and this tends to zero due to inequalities (.3, Cauchy inequality and assumption (3.6. Analogously, an absolute value of the last term of (3. is bounded by a constant times η L (, /( n { r n ( n y n r n ( n y } ṽ n(y dy, and this tends to zero due to Cauchy inequality and assumptions (.8, (3.6. Finally, given arbitrary R (, /( n, the first term in the right hand side of (3. can be estimated by R 3 f(, w (y, w (y, 3 f( n y, w (y, w (y, n ] ṽ n(yη(y dy /( n 3 f(, w (y, w (y, 3 f( n y, w (y, w (y, n ] ṽ n(yη(y dy R const n R( R R η(y dy,
12 where we used Remark 3., Cauchy inequality and assumption (3.6 to write the right hand side of this inequality. Now taking first R sufficiently large such that η(y dy is small, and then, fixing such R, take n sufficiently large such that n R( R is small, we see that the first term in the right hand side of (3. also tends to zero for n. Thus, using (3.8 and taking the limit n in (3.9, we finally get v (yη (y f(, w (y, w (y, v (yη(y R 3 f(, w (y, w (y, v (yη(y] dy = for all η W, (, with η( =. Therefore v is C smooth and satisfies v (y = f(, w (y, w (y, v (y 3 f(, w (y, w (y, v (y for all y >. The function w together with an exponentially growing function constitutes a fundamental system for this linear homogeneous ODE (see Lemma 5., hence v = const w. Moreover, (3.7, (3.8 and the compact embedding W, (, C(, ] yield v ( =, hence v =. In a similar way one can consider another auxiliary sequence of functions: v n ( n y for y /( n, ˆv n (y := ( ( v n exp λ y ] for y /( n, n and demonstrate that it converges weakly in W, (, to zero too. Remark, that for this consideration one should take test functions η W, (, with arbitrary values at zero, since the initial problem (. has Neumann boundary condition at x =. It is well-known that the compact embedding W, (, R C(, R] holds for any fixed R >. Thus, the above obtained week limits for ṽ n and ˆv n imply max { ṽ n (y : y, R]} for n, max { ˆv n (y : y, R]} for n. (3.3 Now we are going to show that n ( vn (x nv n(x 4 nv n(x dx for n, (3.4 which is the needed contradiction to (3.6. Obviously, assumption (. implies that there exists a constant c > such that c vn (x nv n(x ] dx n n v n(x f(x,,, v n (x ] dx = n
13 n v n(x f(x,,, v n (x 3 f(x,,, n v n(xv n (x ] dx = n n 3 f(x,,, n v n(xv n (xdx. (3.5 Therefore, we shall obtain the needed contradiction, if we prove that both terms in the right hand side of (3.5 tends to zero for n. Integrating the latter term of (3.5 by parts and taking into account assumption (3.6 and relations 3.3 we see n 3 f(x,,, n v n(xv n (xdx = 3 f(x,,, v n(x 3 f(x,,, v n (x dx for n. Thus, it remains just to consider the first term in the right hand side of (3.5. For that, we rewrite it as follows x= x= n v n(x f(x,,, v n (x 3 f(x,,, n v n(xv n (x ] dx = n = n n n v n(x f(x, U n (x, n U n (x, n v n (x 3 f(x, U n (x, n U n (x, n n v n(x ] v n (xdx n v n(v n ( n v n(v n ( f(x,,, f(x, U n (x, n U n (x, n ] v n (x dx n 3 f(x,,, 3 f(x, U n (x, n U n (x, n ] n v n(xv n (xdx. (3.6 Then, the first three terms in the right hand side of (3.6 vanish because of (3.7 (recall, that sequences n v n( and v n ( were shown to be bounded. Concerning the rest two terms, we remark that they have a similar structure and therefore it is enough to consider one of them only, the another one can be estimated analogously. For that reason, below we continue with analysis of the latter term of (3.6. First, we rewrite it in the next way n 3 f(x,,, 3 f, U n (x, n U n (x, n ] n v n(xv n (xdx = 3
14 3 f(x,,, 3 f, W n (x, n W n (x, ] n v n(xv n (xdx = n n 3 f, W n (x, n W n (x, n 3 f, U n (x, n U n (x, ] n v n(xv n (xdx 3 f, U n (x, n U n (x, 3 f, U n (x, n U n (x, n ] n v n(xv n (xdx. (3.7 Absolute values of the last two terms in the right hand side of (3.7 can be estimated by a constant times n { r (x n r (x } n v n(xv n (x dx and n v n(xv n (x dx, respectively. Hence, Cauchy inequality and assumptions (.8, (3.6, (3.7 imply that these terms tend to zero. The first term in the right hand side of (3.7 we first rewrite as a sum of two integrals 3 f(x,,, 3 f, W n (x, n W n (x, ] n v n(xv n (xdx = n = n /...] dx n /...] dx (3.8 and then consider each of them independently. So the first integral in the right hand side of (3.8 can be rewritten as follows / 3 f(x,,, 3 f, W n (x, n W n (x, ] n v n(xv n (xdx = n = n n / / 3 f(x,,, 3 f 3 f ( ( x (x, w, w xn, n ( ( ] x (x, w, w xn, n v n(xv n (xdx n 3 f, W n (x, n W n (x, ] n v n(xv n (xdx. (3.9 4
15 Now, the latter term of (3.9 can be estimated by a constant times n / { ( x w n w ( x n } n v n(xv n (x dx. Hence, inequalities (.3 and assumption (3.6 imply that this tends to zero for n. Analogously, one can estimate the first term in the right hand side of (3.9 with a constant times n / { ( x w n w n } n v n(xv n (x dx, and prove that the latter expression vanishes too. Indeed, using the Cauchy inequality, assumption (3.6 and inequalities (.3 we obtain n / { ( x w n w n } n v n(xv n (x dx / { ( ( } x w x n n w v n (x dx n n / { ( ( } x w x n n w v n (x dx = n /( n = { w (y w (y } ṽ n (y dy / nv n(x dx const R ṽn(ydy { w (y w (y } dy, (3. R where R > is arbitrary. Now we proceed as above. First take R sufficiently large such that the integral { w (y w (y } dy is small. Then fix this R, use relations 3.3 R and take n sufficiently large, such that the integral R ṽn(ydy is small. Thus, we have verified that the first integral in the right hand side of (3.8 vanishes. In the similar way as above one can consider the second integral from (3.8 and verify that it tends to zero too. The only difference of this consideration consists of that one should use functions ˆv n (y instead of ṽ n (y in a final estimate analogous to (3.. 5
16 So, for (3.4 it remains to show that n 4 nv n(x dx for n. But this follows from nv n(x,n n v n(x f(x, U n (x, n U n (x, n v n (x f(x, U n (x, n U n (x, n v n (x 3 f(x, U n (x, n U n (x, n n v n(x,n 3 f(x, U n (x, n U n (x, n n v n(x,n. The first term in the right hand side tends to zero because of (3.7, and the second one because of n nv n(x v n (x ] dx (which was shown above. Remark 3. If r =, then Theorem. and estimate (3.5 imply that for sufficiently small problem (. has a locally unique solution u satisfying estimate u W, = O(. Note, the proof of this fact does not require constructing of other asymptotic approximations which are more accurate than W (x. From the other side, under assumptions of Theorem. one can always construct a first order formal solution asymptotics to problem (. (see Theorem 4. with n =, therefore Remark 4.3 implies that the above O( -estimate could be replaced with a more accurate one u W, = O(. Remark 3.3 Suppose that the function f depends neither on x nor on and, moreover, that β =, then Theorem. provides us a significantly better estimate than that mentioned in Remark 3.. Indeed, taking into account estimate (3.4 with r = and corresponding estimates for boundary conditions, W ( β = O(e λ / and W ( = O(e λ /, we obtain that the difference between the exact solution u to problem (. and asymptotic approximation W (x satisfies u W, = O(e λm/, where λ m := max{λ, λ }. 4 Asymptotics of the higher orders If the function f satisfies additional smoothness properties, then based on the leading term asymptotics W (x, one can construct a more precise formal asymptotic approximations of the boundary layer solution to problem (.. For this purpose one can use, for example, the boundary function method (see 9, ]. In present section we demonstrate that the above-proved results (cf. Theorem. justify any such formal approximation without involving any additional assumptions. Recall, that the ansatz of the boundary function method usually reads where U (x = u(x, = U (x P k u k (x, P (y = k= R ( x k P k (y, R (y = k= 6, (4. k R k (y. k=
17 Substituting first the regular part U (x into the differential equation of problem (. and equating formally powers of, we obtain a sequence of algebraic equations f(x, u (x,, =, f(x, u (x,, u (x 3 f(x, u (x,, u (x 4 f(x, u (x,, =, f(x, u (x,, u k (x {terms depending on u (x,..., u k (x only} =. Now, if we take u (x =, then assumption (. allows us to define uniquely from the above equations all terms u k (x in a recurrent way. When the terms of the regular part are known, we can continue with definition of the boundary functions P (y and R (y. For that we write boundary value problems and P (y = f(y, U (y P (y, U (y P (y, f(y, U (y, U (y,, y >, P ( U ( = β, P ( =, R (y = f( y, U ( y R (y, U ( y R (y, f( y, U ( y, U ( y,, y >, (4. (4.3 R ( U ( = β, R ( =, and equate formally powers of in equations and boundary conditions. In result we obtain a sequence of -independent problems for definition of all terms in series P (y and R (y. In particular, the zeroth order terms give problems (.3 and (.4. Consequently, we may assume that P (y = w (y and R (y = w (y. Further, the problems involving higher order terms are linear and read P k (y = f(, P (y, P (y, P k (y 3 f(, P (y, P (y, P k (y F k(y, y >, P k ( u k ( =, P k ( = (4.4 and R k (y = f(, R (y, R (y, R k (y 3 f(, R (y, R (y, R k (y G k(y, y >, R k ( u k ( = β δ k, R k ( =, (4.5 respectively. Here the function F k (y is expressed recursively through the P i (y with i < k. In particular, F (y = f(, P (y, P (y, f(,,, ] y f(, P (y, P (y, f(,,, ] u ( 4 f(, P (y, P (y, 4 f(,,, ]. 7
18 Analogously, the function G k (y is expressed recursively through the R i (y with i < k. Function w (y and the linearly independent solution w (y of equation (5. with w ( = and w ( = constitute a fundamental system of the linear homogeneous equation corresponding to the equation of problem (4.4 (see Lemma 5.. Thus, there exists a Green s function of the problem (4.4 ] w (yw (z z w exp f(, P (s, P (s, G(y, z := ( ds for y z, ] w (yw (z z w ( exp f(, P (s, P (s, ds for z < y, such that, given a bounded function F k (y, this problem has a unique solution which can be written in the integral form P k (y = u k ( w (y w ( G(y, zf k (zdz. (4.6 Suppose that F k (y ce αy for all y, where c, α > are some constants, then using the formula (4.6 it is easy to verify that there exists a constant c > such that a solution to problem (4.4 satisfies an exponential estimate P k (y ce αy for all y. From the other side, if all functions P i (y with i < k satisfy exponential estimates similar to (.3 then due to the construction of function F k (y it obeys analogous exponential estimate at infinity. Therefore solving step by step problems (4.4 one can define any number of terms P k (y. Obviously, the same statement is valid concerning problems (4.5 too. Thus, following the above describe algorithm one can easily verify the next Lemma 4. Let f C (n (, ] R,, n, satisfy (. (.4. Then there exists a unique n-th order formal asymptotics ( x U,n (x = w w n ( ] x k u k (x P k R k k= (4.7 defined by boundary function method. Moreover, there exist constants c n > and > such that for all (, ] hold U,n(x f(x, U,n (x, U,n(x, C,] c n n, U,n ( β c n n, U,n( β c n n. (4.8 Since asymptotics (4.7 satisfies by construction assumptions of Theorem., the latter implies 8
19 Theorem 4. Let f C (n (, ] R,, n, satisfy (. (.4. Then there exist > and δ > such that for all (, there exists exactly one solution u = u to (. such that u U,n, < δ. Moreover, there exists c n > such that u U,n, c n n/. Remark 4.3 Suppose that function f is of class C k, k. Then one can apply Theorem 4. with n =, n =,..., and n = k and obtain an array of solutions u,n to problem (., each of which is unique in the corresponding ball B n := {u W, (, : u U,n, < δ n }. Since min{δ n : n k} > and the centers of these balls converge to each other as, one can choose > such that for (, all solution u,n should coincide. In other words, for sufficiently small Theorem 4. provides different asymptotics for one and the same solution to problem (. which is unique in k n=b n. 5 Appendix: Exponential Decay and Growth of Solutions to Second Order ODEs The following lemma collects well-known facts about the behavior of solutions to some auxiliary second order ODEs. Lemma 5. Let f C (R and w C (, be such that f(, =, f(, >, w (, w ( = and Then the following holds: (i There exist a, b, y > such that w (y = f(w (y, w (y for y >. (5. ae λy w (y be λy for all y y, ae λy w (y be λy for all y y, where λ = { f(, f(, ] 4 f(, }/. (ii The function w together with an exponentially growing function constitutes a fundamental system for the linear homogeneous ODE w (y = f(w (y, w (yw(y f(w (y, w (yw (y. (5. Acknowledgements. The first author gratefully acknowledges support from the Alexander von Humboldt Foundation during his stay at the Humboldt University of Berlin. 9
20 References ] E.A. Coddington and N. Levinson. Theory of ordinary differential equations. McGraw-Hill. New York Toronto London, 955. ] J. Hale and D. Salazar. Boundary layers in a semilinear parabolic problem. Tohoku Math. J. 5 (999, ] K.W. Chang and F.A. Howes. Nonlinear singular perturbation phenomena. Springer-Verlag. New York Berlin Heidelberg, ] N.N. Nefedov. The method of differential inequalities for some singularly perturbed partial differential equations. Diff. Eq. 3 (995, ] J. Appell, A. Vignoli, and P.P. Zabrejko. Implicit function theorems and nonlinear integral equations. Expo. Math. 4 (996, ] P.C. Fife. Boundary and interior transition layer phenomena for pairs of secondorder differential equations. J. Math. Anal. Appl. 54 (976, ] P.C. Fife and W.M. Greenlee. Transition layers for elliptic boundary value problems with small parameters. Uspechi Mat. Nauk 4 (974, ] R. Magnus. The implicit function theorem and multi-bump solutions of periodic partial differential equations. Proc. Royal Soc. Edinburgh 36A (6, ] A.B. Vasil eva, V.F. Butuzov and L.V. Kalachev. Boundary function method for singular perturbation problems. SIAM. Philadelphia, 995. ] R.E. O Malley. Singular perturbation methods for ordinary differential equations. Springer-Verlag. New York Berlin Heidelberg, 99.
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationNon-degeneracy of perturbed solutions of semilinear partial differential equations
Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is
More information1 Separation of Variables
Jim ambers ENERGY 281 Spring Quarter 27-8 ecture 2 Notes 1 Separation of Variables In the previous lecture, we learned how to derive a PDE that describes fluid flow. Now, we will learn a number of analytical
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationNonlinear Analysis. Global solution curves for boundary value problems, with linear part at resonance
Nonlinear Analysis 71 (29) 2456 2467 Contents lists available at ScienceDirect Nonlinear Analysis journal homepage: www.elsevier.com/locate/na Global solution curves for boundary value problems, with linear
More informationNon-degeneracy of perturbed solutions of semilinear partial differential equations
Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + FV εx, u = 0 is considered in R n. For small ε > 0 it is shown
More informationThe Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge
The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationREGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS
REGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS fredi tröltzsch 1 Abstract. A class of quadratic optimization problems in Hilbert spaces is considered,
More informationNONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More informationSPECTRAL PROPERTIES AND NODAL SOLUTIONS FOR SECOND-ORDER, m-point, BOUNDARY VALUE PROBLEMS
SPECTRAL PROPERTIES AND NODAL SOLUTIONS FOR SECOND-ORDER, m-point, BOUNDARY VALUE PROBLEMS BRYAN P. RYNNE Abstract. We consider the m-point boundary value problem consisting of the equation u = f(u), on
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationExistence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1
Journal of Mathematical Analysis and Applications 257, 321 331 (2001) doi:10.1006/jmaa.2000.7347, available online at http://www.idealibrary.com on Existence and Multiplicity of Solutions for a Class of
More informationIntegral Representation Formula, Boundary Integral Operators and Calderón projection
Integral Representation Formula, Boundary Integral Operators and Calderón projection Seminar BEM on Wave Scattering Franziska Weber ETH Zürich October 22, 2010 Outline Integral Representation Formula Newton
More informationSUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS
SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationA REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 2004, 199 207 A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL Olaf Torné (Submitted by Michel
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More informationComm. Nonlin. Sci. and Numer. Simul., 12, (2007),
Comm. Nonlin. Sci. and Numer. Simul., 12, (2007), 1390-1394. 1 A Schrödinger singular perturbation problem A.G. Ramm Mathematics Department, Kansas State University, Manhattan, KS 66506-2602, USA ramm@math.ksu.edu
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationb i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1
NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to
More informationEXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 05, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE OF NONTRIVIAL
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationA global solution curve for a class of free boundary value problems arising in plasma physics
A global solution curve for a class of free boundary value problems arising in plasma physics Philip Korman epartment of Mathematical Sciences University of Cincinnati Cincinnati Ohio 4522-0025 Abstract
More informationIrina Pchelintseva A FIRST-ORDER SPECTRAL PHASE TRANSITION IN A CLASS OF PERIODICALLY MODULATED HERMITIAN JACOBI MATRICES
Opuscula Mathematica Vol. 8 No. 008 Irina Pchelintseva A FIRST-ORDER SPECTRAL PHASE TRANSITION IN A CLASS OF PERIODICALLY MODULATED HERMITIAN JACOBI MATRICES Abstract. We consider self-adjoint unbounded
More informationThe complex periodic problem for a Riccati equation
The complex periodic problem for a Riccati equation Rafael Ortega Departamento de Matemática Aplicada Facultad de Ciencias Universidad de Granada, 1871 Granada, Spain rortega@ugr.es Dedicated to Jean Mawhin,
More informationEXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 98, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) EXISTENCE
More informationGlobal Solutions for a Nonlinear Wave Equation with the p-laplacian Operator
Global Solutions for a Nonlinear Wave Equation with the p-laplacian Operator Hongjun Gao Institute of Applied Physics and Computational Mathematics 188 Beijing, China To Fu Ma Departamento de Matemática
More informationComplex geometrical optics solutions for Lipschitz conductivities
Rev. Mat. Iberoamericana 19 (2003), 57 72 Complex geometrical optics solutions for Lipschitz conductivities Lassi Päivärinta, Alexander Panchenko and Gunther Uhlmann Abstract We prove the existence of
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationEquivariant self-similar wave maps from Minkowski spacetime into 3-sphere
Equivariant self-similar wave maps from Minkowski spacetime into 3-sphere arxiv:math-ph/99126v1 17 Oct 1999 Piotr Bizoń Institute of Physics, Jagellonian University, Kraków, Poland March 26, 28 Abstract
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationOn Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma. Ben Schweizer 1
On Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma Ben Schweizer 1 January 16, 2017 Abstract: We study connections between four different types of results that
More informationTHE NEARLY ADDITIVE MAPS
Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between
More informationSEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT
Electronic Journal of Differential Equations, Vol. 2012 (2012), No. 139, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SEMILINEAR ELLIPTIC
More informationStability of an abstract wave equation with delay and a Kelvin Voigt damping
Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability
More informationPERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS
Fixed Point Theory, Volume 6, No. 1, 25, 99-112 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.htm PERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS IRENA RACHŮNKOVÁ1 AND MILAN
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationCOMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS
Dynamic Systems and Applications 22 (203) 37-384 COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS VICENŢIU D. RĂDULESCU Simion Stoilow Mathematics Institute
More informationSpectrum of one dimensional p-laplacian Operator with indefinite weight
Spectrum of one dimensional p-laplacian Operator with indefinite weight A. Anane, O. Chakrone and M. Moussa 2 Département de mathématiques, Faculté des Sciences, Université Mohamed I er, Oujda. Maroc.
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationAsymptotic analysis of the Carrier-Pearson problem
Fifth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 1,, pp 7 4. http://ejde.math.swt.e or http://ejde.math.unt.e
More informationASTATISM IN NONLINEAR CONTROL SYSTEMS WITH APPLICATION TO ROBOTICS
dx dt DIFFERENTIAL EQUATIONS AND CONTROL PROCESSES N 1, 1997 Electronic Journal, reg. N P23275 at 07.03.97 http://www.neva.ru/journal e-mail: diff@osipenko.stu.neva.ru Control problems in nonlinear systems
More informationProceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005
Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005 SOME INVERSE SCATTERING PROBLEMS FOR TWO-DIMENSIONAL SCHRÖDINGER
More informationESTIMATES ON THE NUMBER OF LIMIT CYCLES OF A GENERALIZED ABEL EQUATION
Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume 00, Number 0, Xxxx XXXX pp. 000 000 ESTIMATES ON THE NUMBER OF LIMIT CYCLES OF A GENERALIZED ABEL EQUATION NAEEM M.H. ALKOUMI
More informationMULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 37, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) MULTIPLE
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More information2 Two-Point Boundary Value Problems
2 Two-Point Boundary Value Problems Another fundamental equation, in addition to the heat eq. and the wave eq., is Poisson s equation: n j=1 2 u x 2 j The unknown is the function u = u(x 1, x 2,..., x
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
More informationThe Helically Reduced Wave Equation as a Symmetric Positive System
Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2003 The Helically Reduced Wave Equation as a Symmetric Positive System Charles G. Torre Utah State University Follow this
More informationOptimal Control Approaches for Some Geometric Optimization Problems
Optimal Control Approaches for Some Geometric Optimization Problems Dan Tiba Abstract This work is a survey on optimal control methods applied to shape optimization problems. The unknown character of the
More informationSufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems
Electronic Journal of Differential Equations, Vol. 200(200), No. 74, pp. 0. ISSN: 072-669. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Sufficient conditions
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationAlgebras of singular integral operators with kernels controlled by multiple norms
Algebras of singular integral operators with kernels controlled by multiple norms Alexander Nagel Conference in Harmonic Analysis in Honor of Michael Christ This is a report on joint work with Fulvio Ricci,
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationA collocation method for solving some integral equations in distributions
A collocation method for solving some integral equations in distributions Sapto W. Indratno Department of Mathematics Kansas State University, Manhattan, KS 66506-2602, USA sapto@math.ksu.edu A G Ramm
More informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More informationLECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI
LECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI Georgian Technical University Tbilisi, GEORGIA 0-0 1. Formulation of the corresponding
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationChapter 7: Bounded Operators in Hilbert Spaces
Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84
More informationExistence of Pulses for Local and Nonlocal Reaction-Diffusion Equations
Existence of Pulses for Local and Nonlocal Reaction-Diffusion Equations Nathalie Eymard, Vitaly Volpert, Vitali Vougalter To cite this version: Nathalie Eymard, Vitaly Volpert, Vitali Vougalter. Existence
More informationThe structure of ideals, point derivations, amenability and weak amenability of extended Lipschitz algebras
Int. J. Nonlinear Anal. Appl. 8 (2017) No. 1, 389-404 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2016.493 The structure of ideals, point derivations, amenability and weak amenability
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationSOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO /4
SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO. 2 2003/4 1 SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL
More informationSIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM
Electronic Journal of Differential Euations, Vol. 22 (22), No. 26, pp. 9. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SIMULTANEOUS AND NON-SIMULTANEOUS
More informationOn non negative solutions of some quasilinear elliptic inequalities
On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional
More informationSingular Perturbation on a Subdomain*
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 937 997 ARTICLE NO. AY97544 Singular Perturbation on a Subdomain* G. Aguilar Departamento de Matematica Aplicada, Centro Politecnico Superior, Uniersidad
More informationKrein-Rutman Theorem and the Principal Eigenvalue
Chapter 1 Krein-Rutman Theorem and the Principal Eigenvalue The Krein-Rutman theorem plays a very important role in nonlinear partial differential equations, as it provides the abstract basis for the proof
More informationScientiae Mathematicae Japonicae Online, Vol. 5, (2001), Ryo Ikehata Λ and Tokio Matsuyama y
Scientiae Mathematicae Japonicae Online, Vol. 5, (2), 7 26 7 L 2 -BEHAVIOUR OF SOLUTIONS TO THE LINEAR HEAT AND WAVE EQUATIONS IN EXTERIOR DOMAINS Ryo Ikehata Λ and Tokio Matsuyama y Received November
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationSplines which are piecewise solutions of polyharmonic equation
Splines which are piecewise solutions of polyharmonic equation Ognyan Kounchev March 25, 2006 Abstract This paper appeared in Proceedings of the Conference Curves and Surfaces, Chamonix, 1993 1 Introduction
More informationOn uniqueness in the inverse conductivity problem with local data
On uniqueness in the inverse conductivity problem with local data Victor Isakov June 21, 2006 1 Introduction The inverse condictivity problem with many boundary measurements consists of recovery of conductivity
More informationFIXED POINT ITERATION FOR PSEUDOCONTRACTIVE MAPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 4, April 1999, Pages 1163 1170 S 0002-9939(99)05050-9 FIXED POINT ITERATION FOR PSEUDOCONTRACTIVE MAPS C. E. CHIDUME AND CHIKA MOORE
More informationConvergence Analysis of an Optimal Scaling Algorithm for Semilinear Elliptic Boundary Value Problems
Convergence Analysis of an Optimal Scaling Algorithm for Semilinear Elliptic Boundary Value Problems Goong Chen,a, Berthold G. Englert and Jianxin Zhou Abstract Proof of convergence for iterative schemes
More informationPDE Constrained Optimization selected Proofs
PDE Constrained Optimization selected Proofs Jeff Snider jeff@snider.com George Mason University Department of Mathematical Sciences April, 214 Outline 1 Prelim 2 Thms 3.9 3.11 3 Thm 3.12 4 Thm 3.13 5
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationCONTINUATION METHODS FOR CONTRACTIVE AND NON EXPANSIVE MAPPING (FUNCTION)
CONTINUATION METHODS FOR CONTRACTIVE AND NON EXPANSIVE MAPPING (FUNCTION) Dr.Yogesh Kumar 1, Mr. Shaikh Mohammed Sirajuddin Mohammed Salimuddin 2 1 Associated Professor, Dept.of Mathematics,OPJS University,Churu,
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationEXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS
EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS Adriana Buică Department of Applied Mathematics Babeş-Bolyai University of Cluj-Napoca, 1 Kogalniceanu str., RO-3400 Romania abuica@math.ubbcluj.ro
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationBlow-up for a Nonlocal Nonlinear Diffusion Equation with Source
Revista Colombiana de Matemáticas Volumen 46(2121, páginas 1-13 Blow-up for a Nonlocal Nonlinear Diffusion Equation with Source Explosión para una ecuación no lineal de difusión no local con fuente Mauricio
More informationMATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 2018 Professor: Jared Speck
MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Spring 208 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationSpurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics
UNIVERSITY OF CAMBRIDGE Numerical Analysis Reports Spurious Chaotic Solutions of Dierential Equations Sigitas Keras DAMTP 994/NA6 September 994 Department of Applied Mathematics and Theoretical Physics
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295-300 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous
More informationHow large is the class of operator equations solvable by a DSM Newton-type method?
This is the author s final, peer-reviewed manuscript as accepted for publication. The publisher-formatted version may be available through the publisher s web site or your institution s library. How large
More informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem
More information