AN EXISTENCE AND UNIQUENESS RESULT 21
|
|
- Flora Logan
- 6 years ago
- Views:
Transcription
1 AN EXISTENCE AND UNIQUENESS RESULT 21 research was supported by the National Science Foundation under Grant No. DMS Bibliography [1] Agmon, S., Douglis, A., and Nirenberg, L., Estimates near the boundary for solutions of elliptic partial dierential equations satisfying general boundary conditions II, Comm. Pure Appl. Math. 17, 1964, pp. 35{92. [2] Backus, G. E., Application of a nonlinear boundary value problem for Laplace's equation to gravity and geomagnetic intensity surveys, Quart. J. Mech. Appl. Math. 21, 1968, pp. 195{221. [3] Bers, L., Function theoretical properties of solutions of partial dierential equations of elliptic type, pp. 69{94 in: Contributions to the Theory of Partial Dierential Equations, L. Bers, ed., Annals of Mathematics Studies No. 33, Princeton University Press, [4] Bers, L., John, F., and Schechter, M., Partial Dierential Equations, Interscience Publishers, Wiley, New York, [5] Berestycki, H., Nirenberg, L., and Varadhan, S. R. S., The principal eigenvalue and maximum principle for second-order elliptic operators in general domains, Comm. Pure Appl. Math. 47, 1994, pp. 47{92. [6] Gamba, I. M., and Morawetz, C. S., A viscous approximation for a 2-D steady semiconductor or transonic gas dynamic ow: Existence theorem for potential ow, Comm. Pure Appl. Math., to appear. [7] Gilbarg, D., and Trudinger, N. S., Elliptic Partial Dierential Equtions of Second Order, Springer-Verlag, New York, [8] Grisvard, P., Elliptic Problems in Non-Smooth Domains, Monographs and Studies in Mathematics No. 24, Pitman, Boston, [9] Lady^zenskaja, O. A., and Ural'ceva, N. N., Equations aux Derivees Partielles de Type Elliptique, Dunod, Paris, Received February 1994.
2 20 IRENE M. GAMBA R = [C 1 ; C 2 ] [0; 1], such that F (@ i ) i R = 4 [ i K, i K a side of K; where is the domain characterized in the previous section. Proof: It is essential for the regularity of the conformal map = 4 [ i such that i are (piecewise) C 2; -curves which joints the preceding one at the point! i making a 2 angle; that is, if i1, i are the parametrizations i1 i, respectively, i1t (! i ) it (! i ), where the subindex T denotes tangential derivative. Under these conditions, the proof is given by the classical result of conformal mapping that corresponds to an incompressible transformation. Take `2(~x) the real harmonic function that solves 8>< >: `2 = 0 in `2 = 0; = ; = `2 is a C 2; ( ) harmonic function as the boundary condition is compatible on the points! i, i = 1;...; 4 because of the assumption of orthogonality at! i. Moreover, by the Hopf maximum principle, 0 < `2 < 1 in and `2y > Now, let `1 be the conjugate harmonic function obtained by integrating the orthogonal eld to the level curves of `2, that is, `1 `1(x; y) = (x;y)(t) (x 0;y 0) (`2y `2x ) 0 (t)dt + `1(x 0 ; y 0 ) where (t) is a path joining (x 0 ; y 0 ) to (x; y) with (x 0 ; y 0 ) a xed point Then `1 2 C 2; = 0 1 3, then `1 = C 1 = `1(x 0 ; y 0 ) if (x 0 ; y 0 ) 1 R and `2 = C 2 where C 2 is xed by the path integral and by C 1. Moreover, the function `2;y satises `2;y = 0, `2;y > and r`2;y n = 0 1 3, then, by Hopf maximum principle, inf `2y `2y > 0. Thus, F (z) = `1 + i`2 is analytic and df=dz = `1x + `2y + i(`1y `2x ) = 2(`2y i`2x ) has positive real part. Then F (z) is one to one. Hence, F (z) is a conformal transformation that satises F () = [C 1 ; C 2 ] [0; 1]. Acknowledgments. I would like to thank Robert Kohn, Cathleen S. Morawetz, and Louis Nirenberg for many helpful discussions and suggestions. This
3 AN EXISTENCE AND UNIQUENESS RESULT 19 where ( A(x) if x 2 R ~A(x) = (A 1 (x ); A 2 (x )) if x 2 R ~ n R and x 2 R is the reection of x 2 ~ R n R with respect to 1. In particular, for any test function ' 2 H 1 0( ~ R) (3.15) ~R r'(r~! ~ A(x)~!) = 0 : We prove that the boundary value problem (3.14) has a unique solution ~! = 0. In fact, it is enough to see that the adjoint operator to L is solvable in H 1 0 ( ~ R) for any given bounded function in ~ R as a right-hand side. Indeed, by estimate (3.8) ~! = ~ b 1 ~ b 2 is C ( ~ R). We solve for in H 1 0( ~ R) the adjoint problem (3.15) L = + ~ A(x)r = ~! in ~ R = 0 ~ R : Since 2 H0 1 is an admissible test function, it satises (3.15). Then (3.16) 0 = r (r~! A(x)~!) ~ = ( + A(x)r ~ )~! = so that ~R 0 = ~R ~R ~! 2 : In particular, ~! = 0 in ~ R. The existence and uniqueness of problem (3.16) in ~ R can be found in a recent paper by Berestycki, Nirenberg, and Varadhan; see [5]. They show that for given ~! bounded in ~ R, there exists a unique solution of the boundary value problem (3.16), where is W 2;p near all smooth boundary points and continuous at corner points. Moreover, it is easy to see from their proof that r 2 L 2 ( ~ R). In particular, 2 H 1 0( ~ R) so that (3.16) holds, and consequently, ~! = 0. Appendix Lemma (The Conformal Transformation). There exist two constants C 1 and C 2, and a unique conformal transformation F (z):! R, with
4 18 IRENE M. GAMBA div (A(x)(v 1 v 2 )), with (x; (v 1+(1)v 2 )(x)). Since A(x) 2 C ( R) using estimates (3.9) and (3.10) for this equation the following estimates hold: kb 1 b 2 k C 1;( R) C kak C ( R) kv 1 v 2 k 1; R + kak 1; R kv 1 v 2 k C ( R) CkAk C ( R) kv 1 v 2 k C ( R) : Thus, T is a continuous map. Therefore T has a xed point b which is the solution of the boundary value problem (1.3), and, by the estimate (3.11), (1.5) holds. Similarly from (3.2), (1.6) holds. (b) Uniqueness of the Solution of Problem (1.3) Theorem 3.2. Let b 1 and b 2 be two solutions in W 1;p ( R); p > 2, of the boundary value problem (1:3), then b 1 = b 2 on R. Proof: We prove uniqueness in the reected domain for the corresponding Dirichlet boundary value problem in a similar way as we worked out Lemma 3.1. Let! = b 1 b 2 on R. Then! satises where (3.12) A(x) =! = div (f(x; b 1 ) f(x; b 2 )) = div (A(x)!) 1 0 f b (x; t b 1 + (1 t) b 2 ) dt : Since f is Lipschitz in b and C in x in R, then A(x) is L 1 ( R). Then,! is a C 1; ( R) solution of linear elliptic operator in divergence form (3.13) 8 >< >: L! =! div (A(x)!) = 0 on R! = 0 on :! x = A 1 (x)! on 1 Now if ~ R dened as above is the rectangle that contains R, its reection with respect to 1 and 1, then, taking ~ b1 and ~ b2 the even reection of b 1 and b 2 respectively with respect to 1. Their dierence ~! is an even function that solves (3.14) L~! = ~! div ( ~ A(x)~!) = 0 in ~ R! = 0 ~ R
5 AN EXISTENCE AND UNIQUENESS RESULT 17 In fact, if B = (B 1 ; B 2 ) solves uniquely B i = f i (x) in R, B i = 0 with f i 2 C ( R 1 ) \ C ( R 2 ), and e 1 = R 1 \ R 2 for i = 1; 2. By [1], each B i 2 W 2;p ( R 0 ) for 1 < p < 1, and, in particular, in C 1; (R 0 ) for 0 < < 1, for any regular subdomain R 0 of R. Hence, [B i ] = 0 = [(B i ) x ] on e 1. This implies that B i is the unique solution of the elliptic diraction problem dened above. By [9], each B i is C 2; ( k ); k = 1; 2, where k = (R 0 \ R k ) [ S for S any part of e 1 satisfying 1 S e 1. Moreover, the following estimate holds kb i k C 2;( k) Ckf ik C ( R) Ckf ik C ( R) ; i = 1; 2 k = 1; 2 where C depends only on R. Therefore, since h = div B i b solves h = 0 in R 0 with h = div B i 0, then h is harmonic in R 0. Hence, h is C 1 in the interior of R 0, so that b is as good as div B i, and estimating b in R R 0 Therefore, kbk C 1;( R) Ckdiv B i k C 1;( R) CkB i k C 2;( R) Ckfk C ( R) : (3.9) kbk C 1;( R) C kf 1 ; f 2 k C ( R) where (3.10) kf 1 ; f 2 k C ( R) = kfk C ( R);Lip;v C kfk C ;x; R kfk 1; R + kfk Lip;v kvk C ( R) where C depends on R. Therefore (3.2) holds. The proof of Lemma (3.1) is now complete. In order to complete the proof of the existence part of Lemma 1.2, we make use of the Leray-Schauder xed-point theorem; see [7], Chapter 11. Let the map T (v) = b be given by the solution of problem (3.1) which can be estimated by (3.2) and (3.3). Indeed, estimate (3.3) provides the needed a priori estimate to show the operator T from the Banah space B = C ( R) into itself is bounded. Moreover, T (C (R)) C 1; ( R) is compactly embbeded in C ( R), then T is a compact operator, and, for any b in B = C 1; ( R) such that b = T b, for some 0 < < 1, from (3.3) we obtain the a priori estimate (3.11) kbk C 1; ( R) C kfk C ;x; R kfk 1; R + kfk Lip;b kfk 1; R M where C is independent of b and, and so M is independent of and b. Finally, since f is bounded and Lipschitz in v, then the map T is Lipschitz continuous. Indeed, T (v 1 ) T (v 2 ) = b 1 b 2 satises the equation (b 1 b 2 ) =
6 16 IRENE M. GAMBA 0 = = ~R ~R = 2 R r ~' r ~ b f ~ dx ~' x ~ bx + ~' y ~ by ( ~' x ~ f1 + ~' x ~ f2 ) dxdy r' r ~ b f dx ; since ~' x ; ~ b x, and ~ f 1 are odd functions and ~' y ; ~ b y, and ~ f 2 are even ones. Hence (3.1.w) holds for b = ~ bj R, making this b the unique weak solution of the boundary value problem (3.1). In addition, by denition of ~ f, Then by estimate (3.7) k ~ fk 1; ~ R = kfk 1; R : (3.8) kbk C ( ~ R) Ckfk L 1 ( R) ; where C depends only on R, so that estimate (3.2) holds. In order to obtain the C 1; regularity and estimate (3.3), note that ~ fj R 2 C ( R) and ~ f ~RnR 2 C ( ~ R n R) ( ~ f is not C across 1 ) and, by the boundary conditions given on problem (3.1), ~ f 1 = 0 2 ~ R ~ R. R 1.. ~ 2 ~ R ~R. R 1 R 4 ~ R S. R 2 Figure 3. The reected domain R. The C 1; estimate for b in R is obtained rst for b by dierentiating C 2; solutions of elliptic diraction problems dened in R where e 1 is the diraction boundary and the given right-hand sides are C on each side of e 1 ; see Ladyzenskaja and Ural'ceva, [9].
7 AN EXISTENCE AND UNIQUENESS RESULT 15 and bounded in R and C on each side of R up to, but not across, e 1 1 ~ R, the extension to R of 1 1 R, respectively. See Figure 3. Recalling Agmon-Douglis-Nirenberg (see [1]) interior regularity results for elliptic problems, it follows that the solution b of problem (3.4.1) in the domain R for the subdomain ~ R R satises the following estimate (3.6) kbk W 1;p( ~ R) Ckfk Lp ( R) Ckfk L 1 ( R) ; where C depends only on R, since the denition of f only involves even or odd reections of the components of f. Since ~ b = bj ~R, the Embedding Theorem yields ~ b 2 C ( ~ R) along with the estimate (3.7) k ~ bk C ( ~ R) Ckfk L 1( R) ; where C depends only on R. Next, we show rst that ~ b is an even function in ~ R and later that any even, and hence any solution of the problem (3.4.1){(3.4.2) yields a weak solution b of problem (3.1) in the sense (3.1.w). Due to the uniqueness of the boundary value problem (3.4.1){(3.4.2), it is enough to show that ~ b(x ), where x is the reection of x with respect to 1, is also a solution. Consequently, ~ b(x ) = ~ b(x), i.e., ~ b is an even function. Note that if 1 fx = 0g, then x = (x; y) = (x; y). Thus x = x and r x x y as dierential operators, hence and, by denition of ~ f, x ~ b(x ) = x ~ b(x ) r x ~ f(x; ~v(x)) = r x ~ f(x; ~v(x )) = r x ~ f(x ; ~v(x )) : Therefore if ~ b is the solution of (3.4.1){(3.4.2) then so that x ~ b(x ) = r x ~ f(x ; ~v(x )) ; x ~ b(x (x)) = r x ~ f(x; ~v(x)) : In particular, since ~ b(x ) = 0 ~ R, then ~ b(x ) = ~ b(x), so that ~ b is an even function in ~ R. Now, let ' be a test function in H 1 0(R 2 n ). Let ~' be the even reection of ' to ~ R, then ~' 2 H 1 0( ~ R), and, for the solution ~ b of problem (3.4)
8 14 IRENE M. GAMBA problem, and so keeps the interior regularity up to the boundary. Methods discussed by Grisvard in [8] would also be adequate to obtained the same regularity. Let ~ R be the rectangle given by the union of R, its reection with respect to 1, and 1 ; and let ~v dene on ~ R be the even reection of v with respect to 1. We consider the following boundary value problem (3.4.1) ~ b = div ~ f(x; ~v(x)) in ~ R ~ b = 0 ~ R ; where ~ f(x; ~v(x)) is the extension of f(x; v(x)) to ~ R given by (3.4.2) ( f(x; ~v(x)) if x 2 R (f 1 (x ; ~v(x )); f 2 (x ; ~v(x )) ) if x 2 ~ R n R where x 2 R is the reection of x 2 ~ R n R with respect to 1, that is, f 1 is reected oddly and f 2 is reected evenly with respect to 1, respectively. Now, since v 2 C ( R) and ~v is the even reection of v with respect to 1, then ~v 2 C ( ~ R), so that ~ f is Lipchitz in ~v. However, since f1 does not vanish on 1, then ~ f is discontinuous across 1 but ~ f remains bounded and measurable in ~ R. The existence of an H 1 0 solution of problem (3.4) follows from standard results. In fact, a weak solution of problem (3.4.1) must satisfy (3.5) r'r ~ b = r' f(x; v) for all ' 2 H 1 0( ~ R) ; ~R ~R Since f 2 L 1 ( ~ R), then `(') = ~R r' f(v) is a continuous linear form in H 1 0 satisfying k`(')k H 1 0 ( ~ R) Ck'k H 1 0 kfk 1; ~ R where C depends on the domain. By the Riesz representation theorem, there exists a unique solution ~ b in H 1 0 of problem (3.4.1) that satises k'k H 1 0 ( ~ R) Ckfk 1; ~ R : Next, the solution ~ b can be reected oddly across all boundary ~ Ri, and it denes a b that solves a similar problem for the enlarged domain R in the space H 1 0(R) with a right-hand side f. Now this right-hand side f is measurable
9 AN EXISTENCE AND UNIQUENESS RESULT Proof of Lemma 1.2 Without loss of generality, we assume that 1 is contained in the axis x = 0 and that its lower end is the origin. (a) Existence We rst show the existence of a weak solution to the boundary value problem (1.3) by constructing a precompact continuous map T from an appropriate Banach space B into itself. Then we use the Leray-Shauder xed-point theorem (see Gilbarg-Trudinger, [7], Chapter 11), where B is C ( R). Thus, we let v 2 C ( R) such that v 0 on. We dene the map T by letting b = T v be the unique weak solution in C 1; ( R) of the linear boundary value problem (3.1) b = div f(x; v(x)) on R b = 0 on and b x = f 1 ((0; y); v(0; y)) on 1 f 1 (x; 0) = 0 for any x 2 \ (@ 2 R 4 R) : By weak solution we mean that (3.1.w) Remark. Note for all ' 2 H 1 0(R 2 n ). Lemma 3.1. r' rb = r' f(x; v) for all ' 2 H0(R 1 2 n ) : R R '( rb f(x; v) ) nds = 1 ' b x f 1 ((0; y); v(0; y)) dy = 0 The problem (3:1) has a unique weak solution b in C 1; ( R) in the sense of (1:4) or (3.1.w) satisfying the following estimates: (3.2) (3.3) kbk C ( R) Ckfk 1; R kbk C 1; ( R) C kfk C ;x; R + kfk Lip;v kfk1; R where C depends only on R. Proof: The proof of this lemma is an application of existence and regularity theorems for elliptic equations in general smooth domain. Although our domain is a rectangle, the nature of the boundary data permits reecting the boundary appropriately such that we deal with a Dirichlet boundary value transmission
10 12 IRENE M. GAMBA where C depends on kgk C 1;(@ 3) and on jf z j L 1, i.e., C depends on the data g(x) and on the domain. Finally, by (2.4), we take (2.35) ' = Re 8 < : z z 0 wdz 9 = ; ; ' = 0 ; then ' is a real function that solves the boundary value problem (1.1) and, since w has real and imaginary parts in the class of C 1; () functions, then ' 2 C 2; () and by estimates (2.32) and (2.34) (2.36) k'k C 1;() CeCkhk 1; 1 + khk1; k'k C 2; () CeCkhk 1; and 1 + khk C ()khk 1; + khk1; khk1; where C depends on the C 1; -norm of g(x) and on the domain, so that estimates in (1.2) hold. In addition, by (2.33) (2.37) 0 < k e CsupH C inf < jr'j < Ke CsupH C sup where H is the upper bound of jhj, C sup and C inf bounds depending on g(x) and, and k, K depends only on. We stress once more that C inf > 0, because of the assumption inf g(x) > 0 3 ; see estimate Furthermore, since the given data ' = 0 1 then r' = 0 1. Since jr'j never vanishes in then r' cannot change sign 1. Thus, r' 1 ) < 0, implies r' n < 0 1. Therefore ' increases along the paths orthogonal to the level surfaces that start at the 1, and, in particular, (2.38) 0 ' e K : In general, (2.39) e K ' e K in ; where e K, both in (2.38) and (2.39), depends on the diameter of and on the upper bound of jr'j. Now the proof of Theorem 1 is complete. In the last section, we prove our \key lemma" (1.2) to solve the boundary value problem (2.21), (2.23).
11 AN EXISTENCE AND UNIQUENESS RESULT 11 transformation of the domain onto R = [C 1 ; C 2 ] [0; 1]. Recalling w the complex velocity representation in, we have by (2.1), (2.2), and (2.3) that (2.30) w z = (z)w + (z) w ; w = ' x i' y and (z) = (h 1 + ih 2 )(z) : Now, by (2.5), (2.6), and (2.7), (2.31) w = u df dz = uf z where u is the unique solution of the ow equation in the rectangle F () = R of the boundary value problem given by Lemma 3.1, where 1 0 df = (h 1 + ih 2 ) : dz Hence, by Lemma 2.1, w = f(z)e s(z) F z ; jf(z)j 6= 0 : Since F is an analytic function in, which is C 1 () (due to the special geometrical properties of ) and F z 6= 0 in and jf z j is uniformly bounded away from zero. See Lemma in the Appendix. Then <w and =w are C 1; ( ) and by (2.10) the following estimates hold, kwk C () Ckfk C () (inf jfj) 2 e Ck0 fk 1; 1 + k 0 k 1; kfk 1; ; and (2.32) kwk C 1;() Ckfk C 1; () (inf jfj) 2 e Ck0 fk 1; 1+ k 0 k C ()k 0 k 1; + k 0 k 2 1; and the estimate for the absolute value of w (2.33) 0 < C inf kfk 2 1; 1 + k 0 k 1; kfk 1; ; n jfj jf z je inf <s(z)o n jwj C sup jfj jf z je sup <s(z)o : The constant C and jf z j depend only on, the inf jfj is positive and depends on g(x) 3 R, and sup and inf of <s(z) = a(x) are bounded and, by (2.26), are bounded from above and below by the upper and lower bounds of jf(z)j from (2.16), from jf z 1 j, and from ~ h = (h 1 ; h 2 ) the given coecients of equation (1.1). Estimate (2.33) thus ensures that r' is positive throughout. Furthermore, by estimate (2.16), the right-hand sides of (2.32) can be estimated by Ckfk C () (inf jfj) 2 e Ck0 k 1; 1 + Ck 0 k 1; ; and (2.34) Ckfk C 1; () (inf jfj) 2 e Ck0 k 1; 1 + Ck 0 k C ()k 0 k 1; + Ck 0 k1; Ck 0 k 1; ;
12 10 IRENE M. GAMBA Once we have the unique function b(x) = =s(z), then using equation (2.20) we nd a unique a(x) = <s(z) by integrating the eld (2.26) ra(x) = (b y + p 1 (x; b); b x + p 2 (x; b)) where a(x) = 0 3 R. In particular, a = div p(x; b) with a n = 0 2 R[@ 4 R, a n = p(x; 0) n 1 R, and a = 0 3 R. Therefore, a similar result to lemma 3.1 yields that a(x) is a C 1; ( R) function, and by (2.24) and (2.25), satises the estimates (2.27) kak C 1;( R) C kpk C ;x; R + kpk Lip;b kpk1; R and (2.28) kak C ( R) Ckpk 1; R ; where C depends on R. We may now nish the proof of Lemma 2.1. End of Proof of Lemma (2.1): Let the complex function s(z) = a + ib be given, with a and b real C 1; ( R) functions which are the unique solutions of the boundary value problem (2.19), (2.21), and (2.23). Then s(z) solves the boundary value problem (2.13){(2.14) uniquely. Therefore, by (2.11), (2.17), and (2.13), u = f(z)e a+ib solves the boundary value problem (2.8), (2.9) in the rectangle R uniquely. Moreover, using estimates (2.24), (2.25), (2.27), and (2.28), along with the form of p given by (2.20), yields the estimates (2.29) kuk C ( R) Ckfk C ( R) e sup j<s(z)j R 1 + kskc ( R) Ckfk C ( R) (inf jfj) 2 e Ck0 fk 1; R 1 + k 0 fk1; R kuk C 1;( R) Ckfk C 1;( R) e sup R Ckfk C 1; ( R) (inf jfj) 2 e CkAi k k 1; R j<s(z)j 1 + kskc 1;( R) 1 + kskc ( R) and 1 + ka ik k C ( R) ka ik k 1; R + ka ik k 2 1; R 1 + kaik k 1; R Ckfk C 1; ( R) (inf jfj) 2 e Ck0 fk 1; R 1 + k 0 fk C ( R) k 0 fk 1; R + k 0 fk 2 1; R 1 + k 0 fk1; R where C depends only on R. Hence, (2.10) holds. Thus, the proof of Lemma 2.1 is now completed. Proof of Theorem 1: Let F be the conformal transformation and R the resulting rectangle given in the Appendix; then F :! R is the unique conformal
13 AN EXISTENCE AND UNIQUENESS RESULT 9 where A + ib = 0 f, and f = f I + if R, then the terms p 1 and p 2 from (2.18) can be written as (2.19) p 1 (x; b) = 2jfj 2 [f R A(1 + cos 2b) + f I B(1 cos 2b) (f R B + f I A) sin 2b] p 2 (x; b) = 2jfj 2 [f I A(1 + cos 2b) + f R B(1 cos 2b) (f R A + f I B) sin 2b] : Clearly, (2.20) p i (x; b) = 3X k=1 A ik (x)`ik (b) ; i = 1; 2 where A ik (x) are real C functions in R and `ik (b) bounded and Lipschitz. Since p i does not depend on a = <s(z), system (2.19) yields an elliptic equation for b(x) alone, namely (2.21) b = p 2x p 1y : The boundary conditions for b are obtained from (2.14) and the relationship (2.19). Since <s = a = 0 3 R, then a y = 0 3 R, and by (2.19), b x = p 2 (x; b) 3 R. Also, =s = b = 0 3 R. In particular, since f is real 3 R 4 R and 3 R 2 R, we have the compatibility condition (2.22) p 2 (x; 0) = 0 if x 3 R 4 R or x 3 R 2 R : Therefore, we must show that there exists a unique solution of (2.21), along with the data b = 0 R (2.23) : b x = p 2 ((C 2 ; y); b) 3 R In the next section, we prove Lemma 1.2 which ensures the existence of a unique weak solution b(x) in the class C 1; ( R) of the nonlinear boundary value problem (2.21){(2.23) that satises the estimates (2.24) kbk C 1;( R) C kpk C ;x; R + kpk Lip;b kpk1; R ; and (2.25) kbk C ( R) Ckpk 1; R where C depends on R.
14 8 IRENE M. GAMBA reected rectangular domain ~ R whose ~ R for i = 1; 3. Let f <h be the reected function of <h. Also, let G be the even reection of `n ~g across the endpoints 3 R dened 3 ~ R. Then f <h is a harmonic function in ~ R = 0 1 ~ R[@ 2 ~ R[@4 ~ R and f <h = G ~ R. In addition, f <h is C 1 ( ~ R) [ C 1; ( ~ R [ T ) where T is any regular portion of the boundary of ~ R. Then <h = f <hj R is in C 1 (R) [ C 1; ( R). Therefore, since the harmonic conjugate of <h inherits its regularity, =h is C 1 (R) [ C 1; ( R) and the following estimates hold k<h ; =hk C 1; ( R) Ck~gk C 1; ( R) ; where C depends on R. Moreover, by the Hopf maximum principle, 3R ln ~g <h sup R <h inf <h R inf inf ln ~g 3R Thus h is analytic in R with its real part bounded by a constant that depends only on the bounds for `n ~g 3 R. In particular, we obtain f(z) = exp(h(z)) has its absolute value bounded below away from zero by a positive constant that depends on the lower bound of ~g(y) 3 R. In addition, the solution of (2.12) satises (2.16) kfk C 1;( R) k~gk C 1; and 0 < k jf(z)j K ; where C depends on R, k = inf ~g and K = sup ~g, respectively. Next, we solve (2.13){(2.14). For this problem we set s = a + ib, and we write the corresponding equations and boundary conditions. We recall (2.17) s z = 1 2 (s x + is y ) = 1 2 f(a x b y ) + i(b x + a y )g : Hence, equations (2.17) and (2.13) yield the following equations (a x b y ) = < ff e2ib = p 1 (x; b) ; (2.18) (b x a y ) = = ff e2ib = p 2 (x; b) : On the other hand, the right hand-side of equation (2.13) can be written as f jfj 2 (0 f + 0 fe 2ib ) = jfj 2 (f R if I )((A + ib) + (A ib)(cos 2b i sin 2b) ;
15 AN EXISTENCE AND UNIQUENESS RESULT 7 so that (2.13) s z = f f with the boundary conditions e2i =s(z) (2.14) =s = 0 3 R and <s = 0 3 R : We shall show that the boundary value problem (2.12) has a unique nonvanishing solution. Moreover, the boundary value problem (2.13){(2.14) has a unique solution as well. In order to show uniqueness of a nonvanishing u solution of the boundary value problem (2.8){(2.9), let ~u be another nonvanishing solution of the same problem and set ~s = `n( f ~u ), with f the unique nonvanishing solution of problem (2.12). Since u and ~u have the same data then it is easy to see that =~s = 0 3 R and <~s = 0 3 R. Dierentiating ~s with respect to z it is easy to see that ~s solves equation (2.13) since f z = 0. Indeed, ~u ~s z = `n f z = ~u z ~u = ~u ~u = f f e2i=~s : Therefore, by the uniqueness of problem (2.13){(2.14), ~s = s. Then, by the representation (2.11), ~u(z) = f(z) e s(z) = u(z) on R. Thus, the uniqueness of nonvanishing solutions follows. We rst solve problem (2.12). We set `n f(z) = `n jf(z)j + i arg f(z). Thus, if jf(z)j 6= 0, then f z = 0 if and only if (`n f) z = 0. Thus, we set h = `n f(z) and solve (2.15) h z = 0 ; =h = 0 3 R ; <h = `n ~g 3 R : Problem (2.15) is solved using standard methods. Indeed, take the Cauchy- Riemann equations and solve the corresponding harmonic equation for = 0 3R, and nd =h as the conjugate harmonic function. In particular, =h = 0, =h = 0 3 R and (=h) n = ~g0 ~g 3R, where ~g0 ~g is C (@ 3 R) and j~g0 j C, C depending on the lower and upper bounds of ~g(0; y) ~g and ~g 0 (0; y). Both, <h and =h are C 1 (R) functions. We use reection techniques in order to obtain the C 1; regularity up to the boundary of R. Reect the obtained harmonic function <h = 0 2 R 4 R and <h = `n ~g 3 R) evenly 2 4 R to a larger
16 6 IRENE M. GAMBA Therefore, we want to prove the following lemma. Lemma 2.1. Let 0 be a C ( R) function. The boundary value problem (2.8) u z = 0 u + 0 u on a rectangle R = [C 1 ; C 2 ] [0; 1] with boundary data (2.9) juj = ~g(y) = fc 2 + iy; 0 y 1g =u = 3 and u > 0 1 R 2 R has a unique nonvanishing solution that takes the form u = f(z)e s(z) = f(z)e <s(z)+i=s(z) where <s(z) and =s(z) are C 1; ( R) functions and f(z) is analytic in R, nonvanishing in R and satises the same boundary data as u. In addition, the following estimates hold: (2.10) kuk C ( R) Kkfk C ( R) (inf jfj) 2 e Kk0 fk 1; R 1 + k 0 fk1; R kuk C 1; ( R) Kkfk C 1; ( R) (inf jfj) 2 e Kk0 fk 1; R 1 + k 0 fk 1; R 1 + k 0 fk C ( R) k 0 fk 1; R + k 0 fk 2 1; R and where K depends on R, and, kfk C 1; ( R) and inf jfj depend on C 1; -norm and the lower bound for ~g respectively. Proof: We rst reduce the problem for u to a problem for a = <s and b = =s. The solution u of equation (2.8) admits a representation; see Bers and Nirenberg representation in [4], Chapter II, Section 6. (2.11) u(z) = f(z)e s(z) : Here, f is an analytic function satisfying (2.12) f z = 0 in R ; along with =f = 0 3 R ; f > 0 1 R 2 R ; and jfj = ~g(x) 3 R : The function s(z) is complex valued and satises f(z)e s(z) s z = u z = 0 fe s(z) + 0 fe s(z) ;
17 AN EXISTENCE AND UNIQUENESS RESULT 5 and obtain the \complex ow equation" (2.2) w z = (z)w + (z) w with (2.3) (z) = (h 1 + ih 2 )(z) ; (z) = (z) : Thus, Lemma 3 of [3] states that if w is a solution of (2.2){(2.3) in a simply connected domain, then we have a solution ' of (1.1) with the form (2.4) '(z) = Re z z 0 w dz We rst show that equation (2.2) preserves its form under any conformal transformation. Indeed, let z 0 = F (z) be a conformal transformation from into 0, where w = ' x i' y is the complex velocity in (z). In 0 (z 0 ) let dz (2.5) u = ' z 0 = ' z dz 0 + ' dz z dz 0 = ' dz z dz 0 ; or A short computation yields from (2.2) u z 0 = (w + w) dz dz 0 dz dz 0 = u dz dz 0 + u dz dz 0 = dz dz 0 u + dz dz 0 u (2.6) u z 0 = 0 u + 0 u dened in 0, with (2.7) 0 = dz dz 0 (z 0 ) and 0 = 0 : In particular, if F is the conformal transformation (see Appendix) that takes into 0 = R, the corresponding rectangle, we solve equations (2.6), (2.7) in R so that, using (2.5), the function w = u dz0 dz = uf z solves (2.1) and the solution ' is then given by (2.4). The boundary data from (1.1) is equivalent to =u = 0 1 R 2 R 4 R and juj = jwj dz dz 0 = g(x)jfz j = ~g(0; y) > 0 3 R. In addition, the condition r' < 0 yields that w > Since F 2 > 0 (see Appendix), then u > 0 1R 2 R. This condition will be sucient to see 1 is an inow boundary. :
18 4 IRENE M. GAMBA 2R 3R= 1 b=0 1R b=0 4R Figure 2. Domain F and boundary conditions on b. Section 3 deals with the proof of Lemma 1.2. Remark 1. The nature of estimate (1.2) is due to the boundary conditions from (1.1) and (1.3). Otherwise, the right-hand side of (1.2) might not have linear growth in khk C (). Remark 2. In case speed is prescribed all over the boundary for the boundary value problem (1.1), even for ~ h 0, uniqueness is lost for some special geometries as shown by G. E. Backus in [2]. 2. Proof of Theorem 1 The proof of this theorem makes use of three lemmas. The rst one (see Appendix) is a simple proof, included for completeness of our arguments, of the existence of a unique conformal transformation of the domain under consideration into a rectangle R with one xed given side. This transformation is as regular as the given regularity for each i of the Next, after showing that the equation (1.1) conserves the same form in the new variables, Lemma 2.1 will show how to solve the new equation in a rectangular domain with prescribed data as in (1.1). There, we shall see that the solution has a representation (Bers-Nirenberg representation), whose two components solve a linear homogeneous elliptic problem and a nonlinear elliptic boundary value problem, (1.4), respectively, (Lemma 1.2). Thus, we reconstruct the solution ' by taking the inverse conformal transformation of the solution given by the Bers-Nirenberg representation (see [4]), which is constructed uniquely by solving the equations for their components in the rectangle with the corresponding boundary data. From now on we use the complex representation of the ow equation. Following Bers (see [3]), we set (2.1) w = 2' z = ' x i' y ;
19 AN EXISTENCE AND UNIQUENESS RESULT 3 1 is an inow boundary since r' n < 0 1 We show in the Appendix that can be uniquely conformally transformed into a xed rectangle R such that the four boundary i ; i = 1; 4 are transformed into the sides of R, in the same order. Thus, we prove Theorem 1 using the two-dimensional complex representation of solutions of the equation ' = r' ~ h (Bers-Nirenberg representation), and the following key lemma in the transformed domain R: There exists a unique weak solution b in C 1; ( R) for the prob- Lemma 1.2. lem (1.3) 8 >< >: div (rb f(x; b)) = 0 in R b = 0 in : b n = f(x; b) n in 1 where n denotes the outer normal and, the function f(x; b) = (f 1 ; f 2 )(x; b) is bounded, C ( R) in x and and Lipschitz as function of b. The domain R is a rectangle = [ 1 with 1 one side of R and f(x; 0) n = 0 2 R 4 R, 2 R 4 R are the sides of R adjacent to 1 (compatibility condition for regularity up to the boundary). See Figure 2. Note: b is a C 1; ( R) weak solution if (1.4) R r'(rb f(x; b)) = 0 for all ' 2 H 1 0(R 2 n ) ; where H 1 0(R 2 n) is the closure of C 1 0(R 2 n). That means the boundary condition on 1 is a natural boundary condition for weak solutions in the sense (1:4). In addition, if we denote kfk C ;x; R the C ( R)-norm of f with respect to the rst variable and kfk Lip;b denotes the Lipschitz norm of f with respect to the second variable, the following estimates hold: (1.5) kbk C 1; ( R) C kfk C ;x; R + kfk Lip;b kfk 1; R and (1.6) kbk C ( R) Ckfk 1; R ; where C depends on R.
20 2 IRENE M. GAMBA r'n 4 =g(x) Figure 1. Domain and boundary conditions on '. We consider the following elliptic problem: given ~ h = (h 1 ; h 2 ) a C ( ) function, 0 < < 1, (1.1) 8 >< >: ' = r' ~ h ' = 0 and r' (w 1) = jr'j = in inow conditions streamline walls prescribed speed Here n denotes the exterior normal and g(x) is a C 1; (@ 3 ) strictly positive function. We show the following theorem. Theorem 1. There exists a unique solution ' 2 C 2; ( ) of the boundary value problem (1:1) with nonvanishing gradient. In addition, the solution ' satises (1.2) k'k C 2; () KeKkhk 1; k'k C 1;() KeKkhk 1; and 1 + khk1; 1 + khk C ()khk 1; + khk1; khk1; : where K depends on and on the C 1; -norm of g; and the following estimates hold, 0 < ke KH jr'j Ke KH ; and e K ' e K on ; where k and K depend on and g(x), H depends on the upper bound for j ~ hj. ek depends on the diameter of and on the upper bound for jr'j.
21 An Existence and Uniqueness Result of a Nonlinear Two-Dimensional Elliptic Boundary Value Problem IRENE M. GAMBA Courant Institute Abstract We consider a boundary value problem for the generalized two-dimensional ow equation ' = r' ~ h for a ~ h a C vector eld, where the speed is prescribed on a part of the boundary. By using Bers theory combined with elliptic operator theory in nonsmooth domains, we show existence and uniqueness of a C 2; solution with nonvanishing gradient, and we nd positive lower and upper bounds for jr'j along with C 2; estimates of ', in terms of the C and L1 norms of ~ h. c 1995 John Wiley & Sons, Inc. 1. Introduction When studying compressible potential ow, the following equation arises naturally: Given a strictly positive C 1; density in a ow region, nd the ow potential function ' with nonvanishing gradient that satises the equation div (r') = 0 with boundary conditions given by r' n = 0, n the outer unit normal to the boundary, along the lateral walls, ' constant at the inow boundary, and the speed jr'j prescribed on the remaining boundary section. We are able to solve uniquely this problem in two dimensions by using the Bers theory for the ow equation. In fact, for our application in compressible hydrodynamics (see [6]), we need to consider a general C, 0 < < 1, vector eld ~ h, instead of r`n, and we must obtain existence of a unique C 2; solution ' with positive lower bound for the speed jr'j, along with a C 2; estimate for ' that has linear growth in the C norm of h. Let be a domain in two dimensions with a C 2; boundary except for four points called w i, i = 1;...; 4. i be the C 2; component and let satisfy the condition i i+1 meet at points w i forming a =2 angle. Thus is a \smooth rectangular" domain. See Figure 1. Communications on Pure and Applied Mathematics, Vol. XLVIII, 1{21 (1995) c 1995 John Wiley & Sons, Inc. CCC 0010{3640/94/070001{21
WALTER LITTMAN BO LIU kind of problem is related to the deformation of a membrane with strings attached to several sides of the polygon. In other word
THE REGULARITY AND SINGULARITY OF SOLUTIONS OF CERTAIN ELLIPTIC PROBLEMS ON POLYGONAL DOMAINS Walter Littman Bo Liu School of Math., University of Minnesota, Minneapolis, MN55455 Abstract. The regularity
More information2 Ben Schweizer As Hocking describes in [5], a discussion focused on the following question: Can one assume that the dynamic contact angle is a consta
A well-posed model for dynamic contact angles Ben Schweizer February 27, 1998 Abstract We consider uid systems with a free boundary and with a point of contact of the free boundary with a solid wall. We
More informationMARY ANN HORN be decoupled into three wave equations. Thus, we would hope that results, analogous to those available for the wave equation, would hold
Journal of Mathematical Systems, Estimation, and Control Vol. 8, No. 2, 1998, pp. 1{11 c 1998 Birkhauser-Boston Sharp Trace Regularity for the Solutions of the Equations of Dynamic Elasticity Mary Ann
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 informationConvergence of A Galerkin Method for 2-D Discontinuous Euler Flows Jian-Guo Liu 1 Institute for Physical Science andtechnology and Department of Mathe
Convergence of A Galerkin Method for 2-D Discontinuous Euler Flows Jian-Guo Liu 1 Institute for Physical Science andtechnology and Department of Mathematics University of Maryland College Park, MD 2742
More informationElliptic Partial Differential Equations of Second Order
David Gilbarg Neil S.Trudinger Elliptic Partial Differential Equations of Second Order Reprint of the 1998 Edition Springer Chapter 1. Introduction 1 Part I. Linear Equations Chapter 2. Laplace's Equation
More informationPointwise convergence rate for nonlinear conservation. Eitan Tadmor and Tao Tang
Pointwise convergence rate for nonlinear conservation laws Eitan Tadmor and Tao Tang Abstract. We introduce a new method to obtain pointwise error estimates for vanishing viscosity and nite dierence approximations
More informationAbstract. A front tracking method is used to construct weak solutions to
A Front Tracking Method for Conservation Laws with Boundary Conditions K. Hvistendahl Karlsen, K.{A. Lie, and N. H. Risebro Abstract. A front tracking method is used to construct weak solutions to scalar
More informationTheorem 1. Suppose that is a Fuchsian group of the second kind. Then S( ) n J 6= and J( ) n T 6= : Corollary. When is of the second kind, the Bers con
ON THE BERS CONJECTURE FOR FUCHSIAN GROUPS OF THE SECOND KIND DEDICATED TO PROFESSOR TATSUO FUJI'I'E ON HIS SIXTIETH BIRTHDAY Toshiyuki Sugawa x1. Introduction. Supposebthat D is a simply connected domain
More informationquantitative information on the error caused by using the solution of the linear problem to describe the response of the elastic material on a corner
Quantitative Justication of Linearization in Nonlinear Hencky Material Problems 1 Weimin Han and Hong-ci Huang 3 Abstract. The classical linear elasticity theory is based on the assumption that the size
More informationThis method is introduced by the author in [4] in the case of the single obstacle problem (zero-obstacle). In that case it is enough to consider the v
Remarks on W 2;p -Solutions of Bilateral Obstacle Problems Srdjan Stojanovic Department of Mathematical Sciences University of Cincinnati Cincinnati, OH 4522-0025 November 30, 995 Abstract The well known
More information384 G. SWEERS side f C() there is a constant k>0suchthat k d (x ) u (x) for all x : () For smooth regularity theory shows that there is another consta
Rend. Istit. Mat. Univ. Trieste Suppl. Vol. XXVIII, 383{49 (997) Hopf's Lemma and Two Dimensional Domains with Corners Guido Sweers () Summary. - Let IR beabounded domain that is smooth except for a nite
More informationWeak solutions for some quasilinear elliptic equations by the sub-supersolution method
Nonlinear Analysis 4 (000) 995 100 www.elsevier.nl/locate/na Weak solutions for some quasilinear elliptic equations by the sub-supersolution method Manuel Delgado, Antonio Suarez Departamento de Ecuaciones
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
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 informationA Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains
A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains Martin Costabel Abstract Let u be a vector field on a bounded Lipschitz domain in R 3, and let u together with its divergence
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
More informationf(z)dz = 0. P dx + Qdy = D u dx v dy + i u dy + v dx. dxdy + i x = v
MA525 ON CAUCHY'S THEOREM AND GREEN'S THEOREM DAVID DRASIN (EDITED BY JOSIAH YODER) 1. Introduction No doubt the most important result in this course is Cauchy's theorem. Every critical theorem in the
More information2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d
ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the
More informationLecture Note III: Least-Squares Method
Lecture Note III: Least-Squares Method Zhiqiang Cai October 4, 004 In this chapter, we shall present least-squares methods for second-order scalar partial differential equations, elastic equations of solids,
More information1 Fourier Transformation.
Fourier Transformation. Before stating the inversion theorem for the Fourier transformation on L 2 (R ) recall that this is the space of Lebesgue measurable functions whose absolute value is square integrable.
More informationp (z) = p z 1 pz : The pseudo-hyperbolic distance ½(z; w) between z and w in D is de ned by ½(z; w) = j z (w)j =
EXTREME POINTS OF THE CLOSED CONVEX HULL OF COMPOSITION OPERATORS TAKUYA HOSOKAW A Abstract. W e study the extreme points of the closed convex hull of the set of all composition operators on the space
More informationChapter 12. Partial di erential equations Di erential operators in R n. The gradient and Jacobian. Divergence and rotation
Chapter 12 Partial di erential equations 12.1 Di erential operators in R n The gradient and Jacobian We recall the definition of the gradient of a scalar function f : R n! R, as @f grad f = rf =,..., @f
More informationMath 497 R1 Winter 2018 Navier-Stokes Regularity
Math 497 R Winter 208 Navier-Stokes Regularity Lecture : Sobolev Spaces and Newtonian Potentials Xinwei Yu Jan. 0, 208 Based on..2 of []. Some ne properties of Sobolev spaces, and basics of Newtonian potentials.
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationis the normal derivative of u at the boundary. In general, the exists as an element H?1=2 ; i = ru r
UNIQUENESS IN THE INVERSE CONDUCTIVITY PROBLEM FOR NONSMOOTH CONDUCTIVITIES IN TWO DIMENSIONS Russell M. Brown Department of Mathematics University of Kentucky Lexington, KY 40506 Gunther Uhlmann Department
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 informationIt is known that Morley element is not C 0 element and it is divergent for Poisson equation (see [6]). When Morley element is applied to solve problem
Modied Morley Element Method for a ourth Order Elliptic Singular Perturbation Problem Λ Wang Ming LMAM, School of Mathematical Science, Peking University Jinchao u School of Mathematical Science, Peking
More informationLocal mountain-pass for a class of elliptic problems in R N involving critical growth
Nonlinear Analysis 46 (2001) 495 510 www.elsevier.com/locate/na Local mountain-pass for a class of elliptic problems in involving critical growth C.O. Alves a,joão Marcos do O b; ;1, M.A.S. Souto a;1 a
More informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More informationCONVEXITY OF INTEGRAL MEANS OF SUBHARMONIC FUNCTIONS
PROCEEDINGS OF THE AMERICAIN MATHEMATICAL SOCIETY Volume 60, October 1976 CONVEXITY OF INTEGRAL MEANS OF SUBHARMONIC FUNCTIONS JANG-MEI G. WU' Abstract. We study the convexity of integral means of subharmonic
More informationON LIQUID CRYSTAL FLOWS WITH FREE-SLIP BOUNDARY CONDITIONS. Chun Liu and Jie Shen
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 7, Number2, April2001 pp. 307 318 ON LIQUID CRYSTAL FLOWS WITH FREE-SLIP BOUNDARY CONDITIONS Chun Liu and Jie Shen Department
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationPhysics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16
Physics 307 Mathematical Physics Luis Anchordoqui 1 Bibliography L. A. Anchordoqui and T. C. Paul, ``Mathematical Models of Physics Problems (Nova Publishers, 2013) G. F. D. Duff and D. Naylor, ``Differential
More informationComputation Of Asymptotic Distribution. For Semiparametric GMM Estimators. Hidehiko Ichimura. Graduate School of Public Policy
Computation Of Asymptotic Distribution For Semiparametric GMM Estimators Hidehiko Ichimura Graduate School of Public Policy and Graduate School of Economics University of Tokyo A Conference in honor of
More informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
More informationOle Christensen 3. October 20, Abstract. We point out some connections between the existing theories for
Frames and pseudo-inverses. Ole Christensen 3 October 20, 1994 Abstract We point out some connections between the existing theories for frames and pseudo-inverses. In particular, using the pseudo-inverse
More informationTHE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOZZI AND M. PUGH.
THE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOI AND M. PUGH April 1994 Abstract. We consider the fourth order degenerate diusion equation
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 informationVariational Formulations
Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that
More informationare harmonic functions so by superposition
J. Rauch Applied Complex Analysis The Dirichlet Problem Abstract. We solve, by simple formula, the Dirichlet Problem in a half space with step function boundary data. Uniqueness is proved by complex variable
More informationBifurcation from the rst eigenvalue of some nonlinear elliptic operators in Banach spaces
Nonlinear Analysis 42 (2000) 561 572 www.elsevier.nl/locate/na Bifurcation from the rst eigenvalue of some nonlinear elliptic operators in Banach spaces Pavel Drabek a;, Nikos M. Stavrakakis b a Department
More information26.2. Cauchy-Riemann Equations and Conformal Mapping. Introduction. Prerequisites. Learning Outcomes
Cauchy-Riemann Equations and Conformal Mapping 26.2 Introduction In this Section we consider two important features of complex functions. The Cauchy-Riemann equations provide a necessary and sufficient
More informationNew Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics
New Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics Hideo Kozono Mathematical Institute Tohoku University Sendai 980-8578 Japan Taku Yanagisawa Department of
More informationEXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM
EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM JENICĂ CRÎNGANU We derive existence results for operator equations having the form J ϕu = N f u, by using
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 informationAccumulation constants of iterated function systems with Bloch target domains
Accumulation constants of iterated function systems with Bloch target domains September 29, 2005 1 Introduction Linda Keen and Nikola Lakic 1 Suppose that we are given a random sequence of holomorphic
More information2 BAISHENG YAN When L =,it is easily seen that the set K = coincides with the set of conformal matrices, that is, K = = fr j 0 R 2 SO(n)g: Weakly L-qu
RELAXATION AND ATTAINMENT RESULTS FOR AN INTEGRAL FUNCTIONAL WITH UNBOUNDED ENERGY-WELL BAISHENG YAN Abstract. Consider functional I(u) = R jjdujn ; L det Duj dx whose energy-well consists of matrices
More informationProjected Surface Finite Elements for Elliptic Equations
Available at http://pvamu.edu/aam Appl. Appl. Math. IN: 1932-9466 Vol. 8, Issue 1 (June 2013), pp. 16 33 Applications and Applied Mathematics: An International Journal (AAM) Projected urface Finite Elements
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
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 informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationLECTURE 15 + C+F. = A 11 x 1x1 +2A 12 x 1x2 + A 22 x 2x2 + B 1 x 1 + B 2 x 2. xi y 2 = ~y 2 (x 1 ;x 2 ) x 2 = ~x 2 (y 1 ;y 2 1
LECTURE 5 Characteristics and the Classication of Second Order Linear PDEs Let us now consider the case of a general second order linear PDE in two variables; (5.) where (5.) 0 P i;j A ij xix j + P i,
More informationFINAL EXAM { SOLUTION
United Arab Emirates University ollege of Sciences Department of Mathematical Sciences FINAL EXAM { SOLUTION omplex Analysis I MATH 5 SETION 0 RN 56 9:0 { 0:45 on Monday & Wednesday Date: Wednesday, January
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More informationA Finite Element Method for an Ill-Posed Problem. Martin-Luther-Universitat, Fachbereich Mathematik/Informatik,Postfach 8, D Halle, Abstract
A Finite Element Method for an Ill-Posed Problem W. Lucht Martin-Luther-Universitat, Fachbereich Mathematik/Informatik,Postfach 8, D-699 Halle, Germany Abstract For an ill-posed problem which has its origin
More information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationContents Introduction 3 Johnson's paradigm 4 3 A posteriori error analysis for steady hyperbolic PDEs 7 3. Symmetric hyperbolic systems : : : : : : :
Report no. 96/09 Finite element methods for hyperbolic problems: a posteriori error analysis and adaptivity a Endre Suli Paul Houston This paper presents an overview of recent developments in the area
More informationr( = f 2 L 2 (1.2) iku)! 0 as r!1: (1.3) It was shown in book [7] that if f is assumed to be the restriction of a function in C
Inverse Obstacle Problem: Local Uniqueness for Rougher Obstacles and the Identication of A Ball Changmei Liu Department of Mathematics University of North Carolina Chapel Hill, NC 27599 December, 1995
More informationThe continuity method
The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial
More information84 G. Schmidt (1.3) T : '! u := uj ; where u is the solution of (1.1{2). It is well known (cf. [7], [1]) that the linear operator T : H ( )! e H ( ) i
Numer. Math. 69: 83{11 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Boundary element discretization of Poincare{Steklov operators Gunther Schmidt Institut fur Angewandte Analysis
More informationMultiplicity ofnontrivial solutions for an asymptotically linear nonlocal Tricomi problem
Nonlinear Analysis 46 (001) 591 600 www.elsevier.com/locate/na Multiplicity ofnontrivial solutions for an asymptotically linear nonlocal Tricomi problem Daniela Lupo 1, Kevin R. Payne ; ; Dipartimento
More informationNets Hawk Katz Theorem. There existsaconstant C>so that for any number >, whenever E [ ] [ ] is a set which does not contain the vertices of any axis
New York Journal of Mathematics New York J. Math. 5 999) {3. On the Self Crossing Six Sided Figure Problem Nets Hawk Katz Abstract. It was shown by Carbery, Christ, and Wright that any measurable set E
More informationON TRIVIAL GRADIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -grad
ON TRIVIAL GRAIENT YOUNG MEASURES BAISHENG YAN Abstract. We give a condition on a closed set K of real nm matrices which ensures that any W 1 p -gradient Young measure supported on K must be trivial the
More informationELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS)
ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS) MATANIA BEN-ARTZI. BOOKS [CH] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. Interscience Publ. 962. II, [E] L.
More informationMax-Planck-Institut fur Mathematik in den Naturwissenschaften Leipzig A generalization of Rellich's theorem and regularity of varifolds minimizing curvature by Roger Moser Preprint no.: 72 2001 A generalization
More information2. Complex Analytic Functions
2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we
More informationNumerical Integration for Multivariable. October Abstract. We consider the numerical integration of functions with point singularities over
Numerical Integration for Multivariable Functions with Point Singularities Yaun Yang and Kendall E. Atkinson y October 199 Abstract We consider the numerical integration of functions with point singularities
More informationand are based on the precise formulation of the (vague) concept of closeness. Traditionally,
LOCAL TOPOLOGY AND A SPECTRAL THEOREM Thomas Jech 1 1. Introduction. The concepts of continuity and convergence pervade the study of functional analysis, and are based on the precise formulation of the
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 informationON THE GLOBAL EXISTENCE OF A CROSS-DIFFUSION SYSTEM. Yuan Lou. Wei-Ming Ni. Yaping Wu
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS Volume 4, Number 2, April 998 pp. 93 203 ON THE GLOBAL EXISTENCE OF A CROSS-DIFFUSION SYSTEM Yuan Lou Department of Mathematics, University of Chicago Chicago,
More informationEstimates in surfaces with positive constant Gauss curvature
Estimates in surfaces with positive constant Gauss curvature J. A. Gálvez A. Martínez Abstract We give optimal bounds of the height, curvature, area and enclosed volume of K-surfaces in R 3 bounding a
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More information/00 $ $.25 per page
Contemporary Mathematics Volume 00, 0000 Domain Decomposition For Linear And Nonlinear Elliptic Problems Via Function Or Space Decomposition UE-CHENG TAI Abstract. In this article, we use a function decomposition
More informationMaximum principle for the fractional diusion equations and its applications
Maximum principle for the fractional diusion equations and its applications Yuri Luchko Department of Mathematics, Physics, and Chemistry Beuth Technical University of Applied Sciences Berlin Berlin, Germany
More informationFunctional Analysis: Assignment Set # 11 Spring 2009 Professor: Fengbo Hang April 29, 2009
Eduardo Corona Functional Analysis: Assignment Set # Spring 2009 Professor: Fengbo Hang April 29, 2009 29. (i) Every convolution operator commutes with translation: ( c u)(x) = u(x + c) (ii) Any two convolution
More informationIn this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,
Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationsystem of PenroseFife type Olaf Klein Weierstrass Institute for Applied Analysis and Stochastics Mohrenstrasse 39 D10117 Berlin Germany
A class of time discrete schemes for a phaseeld system of PenroseFife type Olaf Klein Weierstrass Institute for Applied Analysis and Stochastics Mohrenstrasse 39 D7 Berlin Germany email: klein@wias-berlin.de
More informationRegularity of the p-poisson equation in the plane
Regularity of the p-poisson equation in the plane Erik Lindgren Peter Lindqvist Department of Mathematical Sciences Norwegian University of Science and Technology NO-7491 Trondheim, Norway Abstract We
More informationQUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE. Denitizable operators in Krein spaces have spectral properties similar to those
QUASI-UNIFORMLY POSITIVE OPERATORS IN KREIN SPACE BRANKO CURGUS and BRANKO NAJMAN Denitizable operators in Krein spaces have spectral properties similar to those of selfadjoint operators in Hilbert spaces.
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
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 informationwith Applications to Elasticity and Compressible Flow Daoqi Yang March 20, 1997 Abstract
Stabilized Schemes for Mixed Finite Element Methods with Applications to Elasticity and Compressible Flow Problems Daoqi Yang March 20, 1997 Abstract Stabilized iterative schemes for mixed nite element
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationExistence of the free boundary in a diffusive ow in porous media
Existence of the free boundary in a diffusive ow in porous media Gabriela Marinoschi Institute of Mathematical Statistics and Applied Mathematics of the Romanian Academy, Bucharest Existence of the free
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More information2 J. BRACHO, L. MONTEJANO, AND D. OLIVEROS Observe as an example, that the circle yields a Zindler carrousel with n chairs, because we can inscribe in
A CLASSIFICATION THEOREM FOR ZINDLER CARROUSELS J. BRACHO, L. MONTEJANO, AND D. OLIVEROS Abstract. The purpose of this paper is to give a complete classication of Zindler Carrousels with ve chairs. This
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationTHE PRINCIPLE OF LIMITING ABSORPTION FOR THE NON-SELFADJOINT. Hideo Nakazawa. Department of Mathematics, Tokyo Metropolitan University
THE PRINCIPLE OF LIMITING ABSORPTION FOR THE NON-SELFADJOINT SCHR ODINGER OPERATOR WITH ENERGY DEPENDENT POTENTIAL Hideo Nakazaa Department of Mathematics, Tokyo Metropolitan University. 1.9 1.Introduction
More informationEXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system
Electronic Journal of Differential Equations, Vol. 20082008), No. 119, 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 informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More information