Mixed exterior Laplace s problem
|
|
- Lucinda Flynn
- 6 years ago
- Views:
Transcription
1 Mixed exterior Laplace s problem Chérif Amrouche, Florian Bonzom Laboratoire de mathématiques appliquées, CNRS UMR 5142, Université de Pau et des Pays de l Adour, IPRA, Avenue de l Université, Pau cedex, France Abstract In [3], authors study Dirichlet and Neumann problems for the Laplace operator in exterior domains of R n. This paper extends this study to the resolution of a mixed exterior Laplace s problem. Here, we give existence, unicity and regularity results in L p s theory with 1 < p <, in weighted Sobolev spaces. Keywords : eighted Sobolev spaces ; Laplacian ; Mixed boundary conditions ; Poincaré type inequality 1 Introduction and preliminaries Let ω 0 and ω 1 be two compact, disconnected and not empty regions of R n, n 2, with Lipschitz-continuous boundaries, respectively, Γ 0 and Γ 1 and let be the complement of ω 0 ω 1. e set Γ = Γ 0 Γ 1 =. This paper is devoted to solve the following problem : u = f in, (P) u = g 0 on Γ 0, u n = g 1 on Γ 1. Since these problems are setted in an exterior domain, we must complete their statements with adequate asymptotic conditions at infinity. e have chosen to impose such conditions by setting our problem in weighted Sobolev spaces where the growth or decay of functions at infinity are expressed by means of weights. These weighted Sobolev spaces provide a correct functional setting for the exterior Laplace equation, in particular because the functions in these spaces satisfy an optimal weighted Poincaré type inequality. This gives them a great advantage over the two families of spaces currently used for the Laplace operator, namely, the completion of D() for the norm of the gradient in L p () and the subspace in L p loc () of functions whose gradients belong to L p (). On one hand, when p n, some very treacherous Cauchy sequences exist in D() that do not converge to distributions, a behaviour carefully described in 1954 by Deny and Lions (cf. [5]) but unfortunately overlooked by many authors. These sequences are eliminated in our spaces because we equip Corresponding author. addresses: cherif.amrouche@univ-pau.fr (C.Amrouche), florian.bonzom@univ-pau.fr (F. Bonzom). 1
2 them with the full Sobolev norm instead of the norm of the gradient alone. On the other hand, this full Sobolev norm avoids the imprecision at infinity inherent to the L p loc norm. In an unbounded region, it is important to describe sharply the behaviour of functions at infinity and not just their gradient. This is vital from the mathematical point of view, not only because it permits to characterize easily the data from which we can solve our problems, but also because the analysis done here for one exponent of the weight extends readily to a wide range of real exponents. This is even more crucial from the numerical point of view because in most formulations, the function itself is the primary unknown that engineers discretize, the gradient being only secondary and usually deduced from the function values. This paper is organized as follows. Sections 2, 3 and 4 are devoted to the study of questions of existence and unicity of the solution respectively in cases p = 2, p > 2 and p < 2 and the section 5 deals with different behaviours at the infinity of the solution according to the data. e complete this introduction with a short review of the weighted Sobolev spaces and their isomorphisms that we shall use in the sequel. For any integer q we denote by P q the space of polynomials in n variables, smaller than or equal to q, with the convention that P q is reduced to {0} when q is negative. For any real number p ]1, + [, we denote by p the dual exponent of p : 1 p + 1 p = 1. Let x = (x 1,..., x n ) be a typical point of R n and let r = x = (x x 2 n) 1/2 denote its distance to the origin. e shall use two basic weights : ρ(r) = (1 + r 2 ) 1/2 and lg r = ln(2 + r 2 ) Then, for any nonnegative integers n and m and real numbers p > 1, α and β, setting 1 if n + α / {1,..., m}, p k = k(m, n, p, α) = m n p α if n + α {1,..., m}, p we define the following space : m α,β () = {u D (); λ N n : 0 λ k, ρ α m+ λ (lg r) β 1 D λ u L p (); λ N n : k + 1 λ m, ρ α m+ λ (lg r) β D λ u L p ()}. It is a reflexive Banach space equipped with its natural norm : u m α,β () = ( ρ α m+ λ (lg r) β 1 D λ u p L p () 0 λ k + k+1 λ m ρ α m+ λ (lg r) β D λ u p L p () )1/p. 2
3 e also define the semi-norm : u m α,β () = ( ρ α (lg r) β D λ u p L p () )1/p. λ =m hen β = 0, we agree to drop the index β and denote simply the space by m α (). The weights defined previously are chosen so that the space D() is dense in m α,β () and so that theorem 1.1 below is satisfied. The constants 1 and 2 in ρ(r) and lg r are added so that they do not modify the behaviour of the functions near the origin, in case it belongs to. Thus, the functions of m α,β () belong to m (O) on all bounded domains O contained in. As a consequence, the traces of these functions on Γ, γ 0, γ 1,..., γ m 1, satisfy the usual trace theorems (cf. Adams [1] or Nečas [8]). This allows to define in particular the space m α,β m () = {v α,β (); γ 0v = γ 1 v = = γ m 1 v = 0}. It can be proved that D() is dense in m α,β () and therefore, its dual space, m α, β () is a space of distributions. If n N is the dimension of spaces, we set E = E n. Now, we define the space Y p () = 0 () L p () equipped with the following norm : u Y p () = ( u p 0 () + u p L p () )1/p. e easily check that Y p () is complete. e introduce the partition of unity (we use the lemma of Urysohn) : ψ 1, ψ 2 C (R n ), 0 ψ 1, ψ 2 1, ψ 1 + ψ 2 = 1 in R n, ψ 1 = 1 in B R, supp ψ 1 B R+1, where R > 0 is such that ω 0 ω 1 B R. For any v 0 (), we set v 1 = ψ 1 v and v 2 = ψ 2 v. e have supp v 1 R+1 = B R+1 ans so v 1 ( R+1 ). Furthermore v 2 = 0 on Γ because ψ 2 = 0 on R = B R, so v 2 0 (). For f Y p (), we set : v 0 (), T f (v) = fv 1 dx + < f, v 2 >, R+1 where <.,. > denotes the duality pairing between 0 () and 0 (). e easily notice that T f is well defined, linear and we check that : ϕ D(), T f (ϕ) = fϕ dx, (1) and for any f Y p () and v 0 (), T f (v) C f Y p () v 0 (), (2) where C > 0 is a constant which does not depend of f and v. The next results are demonstrated by Amrouche, Girault and Giroire [2] and [3] and will be used in the sequel. 3
4 Theorem 1.1. Let α and β be two real numbers and m 1 an integer not satisfying simultaneously : n + α {1,..., m} and (β 1)p = 1 p Let q = min(q, m 1), where q is the highest degree of the polynomials contained in m α,β (). Then : i) the semi-norm. m α,β () defined on m α,β ()/P q is a norm equivalent to the quotient norm. ii) the semi-norm. m α,β () is a norm on m α,β (), which is equivalent to the full norm. m α,β (). Theorem 1.2. The following Laplace operators are isomorphisms : i) : 0 (Rn )/P [1 n/p] 0 (R n ) P [1 n/p ], ii) : 2 1 (Rn )/P [1 n/p] 0 1 (Rn ) P [1 n/p ], iii) : 2, n n 1 1 (R n )/P 2 n ( 0, n n 1 1 (R n ) 1, n n 1 0 (R n )) R, where the symbol has the following meaning : for E and F two spaces such that E F, F E = {f F, x E, < f, x > F,F = 0}. Proposition 1.3. Assume that p > 2 and f 0 (R n ) with compact support and satisfying, if n = 2, the compatibility condition Then, the problem < f, 1 > 0 (R 2 ), 0 (R2 ) = 0. u = f in R n, has a solution u 0 (Rn ) 0 (Rn ), unique up to an additive constant if n = 2. 2 Case p=2 e begin to introduce the space V 2 = {v 0 (), v = 0 on Γ 0}. and to establish a Poincaré type inequality : Proposition 2.1. There exists a constant C > 0 such that : u V 2, u 0 () C u 0 (). Proof- e use an absurd argument ; so, assume that n N, w n V 2, w n 0 () > n w n 0 (). 4
5 Then the sequence defined by u n = w n w n 0 () satisfy u n 0 () = 1 and u n 0 () < 1 n. (3) Here, we define an other partition of unity : ϕ 1, ϕ 2 C (R n ), 0 ϕ 1, ϕ 2 1, ϕ 1 + ϕ 2 = 1 in R n, ϕ 1 = 1 in B R1, supp ϕ 1 B R1+1, where R 1 > 0 is such that ω 1 B R1 and ω 0 B R1+1 =. e set u 1 n = ϕ 1 u n and u 2 n = ϕ 2 u n, so that u n = u 1 n + u 2 n. e deduce by (3) the existence of u V 2 such that : u n u in 0 () and u = 0 in. As is connected and u V 2, then u = 0 in and u n 0 in 0 (). (4) Thanks to the Rellich s compactness theorem, u n 0 in L 2 ( R1+1) and thanks to (3), we easily deduce that u 1 n 0 in 0 (). Now, we prove that u 2 n 0 in 0 (). First, we notice that u2 n 0 (). Setting 0 = \ B R1 and = 0 ω 0, we call again u 2 n the restriction of u 2 n to 0 and we define : ũ 2 n = u 2 n on 0, ũ 2 n = 0 on ω 0 e easily check that ũ 2 n 0 ( ) with ũ 2 n 0 ( ) = u2 n (0). 0 Noticing that = B c R 1 and applying a result established by Giroire [6], we have : ũ 2 n 0 ( ) C ũ2 n 0 ( ). e easily show that ũ 2 n 0 ( ) 0, so in particular u2 n 0 (0) 0. To finish, like 0 = \ R1 and u 2 n = 0 on R1, we have : u 2 n 0 () = u2 n 0 (0) 0. So, u2 n 0 in 0 () which implies that u n = u 1 n + u 2 n 0 in 0 (), and which contradicts (3). In consequence, we have the result searched. Theorem 2.2. For any f Y 2 (), g 0 H 1 2 (Γ 0 ) and g 1 H 1 2 (Γ 1 ), there exists a unique u 0 () solution of the problem (P) and a constant C > 0 such that u 0 () C( f Y 2 () + g 0 H 1 2 (Γ0) + g 1 H 1 2 ). Proof- First, according to [3], there exists a unique u 0 0 ( 1) where 1 = ω 1, solution of : { u 0 = 0 in 1, (P D ) u 0 = g 0 on Γ 0, 5
6 and checking u 0 0 () C g 0 H 1 2 (Γ0). e notice that like u 0 0 () and 0 = u 0 L 2 (), then u 0 n H 1 2 (Γ1 ). Moreover, we know that there exists a unique v V 2 solution of the following problem (FV) : (FV) w V 2, a(v, w) = L(w), where for v, w V 2, a(v, w) = v w dx and L(w) = T f (w) + < g 1 u 0 n, w > Γ 1, and where <.,. > Γ1 is the duality pairing H 1 2 (Γ 1 ), H 1 2 (Γ 1 ). Indeed, this result is a simply consequence of the Lax-Milgram theorem and of the propriety 2.1 which shows that the form a is coercive. Then, we easily check that this solution v 0 () satisfies v = f in, (P ) v = 0 on Γ 0, v n = g 1 u 0 n on Γ 1, and v 0 () C ( f Y 2 () + g 1 u 0 n H 1 ). 2 Finally, the function u = u 0 + v is the solution of (P) and the estimate searched is a consequence of the two previous inequalities. 3 Case p > 2 e propose the following approach : first we solve the harmonic problem, this will enable us to establish an "inf-sup" condition which in turn will solve the full problem thanks to the theorem of Babuška-Brezzi. In all this section we suppose p > 2 (except for the subsection 3.5. where we suppose p 2) and Γ of class C 1, Resolution of the harmonic problem Let g 0 be in 1 p 1 (Γ 0 ) and g 1 be in p 1 (Γ 1 ). Here, we consider the problem : find u in 0 () 0 () solution of u = 0 in, (P 0 ) u = g 0 on Γ 0, u n = g 1 on Γ 1. Theorem 3.1. For any g 0 1 p 1 (Γ 0 ) and g 1 p 1 (Γ 1 ), there exists a unique u 0 () 0 (), solution of (P 0), and we have : u 0 () + u 0 () C ( g 0 1 p 1 + g 1 (Γ 0) p 1 ). (5) 6
7 Proof- By [3], we know there exists u 0 0 ( 1) 0 ( 1) solution of (P D ), where we remind that 1 = ω 1, with the following estimate : u 0 0 (1) + u 0 0 (1) C g 0 1 p 1. (6) (Γ 0) e notice that like u 0 0 () and 0 = u 0 L p (), we have u 0 n 1 p (Γ 1 ). Moreover u 0 n p 1 C g 0 1 p 1 (Γ 0) Then, we are going to show that there exists a unique v in 0 () 0 () solution of the following problem : with the estimate : (P 0 ) v = 0 in, v = 0 on Γ 0, v n = g 1 u 0 n on Γ 1. v 0 () + v 0 () C ( g 0 1 p 1 + g 1 (Γ 0) p 1 ). (7) As p > 2, g 1 u 0 n H 1 2 (Γ1 ) and thanks to theorem 2.2, there exists a unique v 0 () solution of (P 0 ) and checking (7) with p = 2. There stays to show that v 0 (). For this, we use the partition of the unity previously defined : ϕ 1, ϕ 2 C (R n ), 0 ϕ 1, ϕ 2 1, ϕ 1 + ϕ 2 = 1 in R n, ϕ 1 = 1 in B R1, supp ϕ 1 B R1+1, where R 1 > 0 is such that ω 1 B R1 and ω 0 B R1+1 =. e set v 1 = ϕ 1 v, v 2 = ϕ 2 v and ṽ 2 = v 2 in, ṽ 2 = 0 in ω 1. e remind that v 2 0 () and so that ṽ 2 0 ( 1). Moreover, we have : v 2 = v 1 = v ψ ψ 1 v := f 1 in. Setting f 1 = f 1 in, f1 = 0 in ω 1, it is obvious that f 1 L 2 ( 1 ) with supp f 1 R1+1 and that ṽ 2 = f 1 in 1. Now, we set s = ṽ 2 and we are going to show that s 0 ( 1). For this, we define an other partition of the unity : ξ 1, ξ 2 C (R n ), 0 ξ 1, ξ 2 1, ξ 1 + ξ 2 = 1 in R n, ξ 1 = 1 in B R0, supp ξ 1 B R0+1, 7
8 where R 0 > 0 is such that ω 0 B R0 and ω 1 B R0+1 =. e set s 1 = ξ 1 s and s 2 = ξ 2 s, and we notice that : Finally, we set : s 2 = f 1 + s 1 = f 1 + s ξ ξ 1 s := F in 1. s 2 = { s2 in 1, 0 in ω 0, and F = { F in 1, 0 in ω 0. e have s 2 0 (Rn ) because s 2 0 ( 1), F L 2 (R n ) with supp F R0+1 R1+1, and also s 2 = F in R n. i) Case 2 < p 2n and n 3 or p > 2 and n = 2. n 2 Thanks to the injections of Sobolev,, we have F 0 (R n ). In consequence, thanks to the theorem 1.2 i), (there is no condition of compatibility because p > 2), we show that s 2 0 (Rn ) and so s 2 0 ( 1) and we easily check that : s 2 0 (Rn )/P [1 n p ] C g 1 u 0 n p 1. (8) Outside of B R0+1, ξ 1 = 0 so s = s 2 and the trace of s 2 on B R0+1 belongs to 1 1 p ( B R0+1). So s checks : s = f 1 in R0+1, s = s 2 on B R0+1, s = 0 on Γ 0. Consequently, (see Lions and Magenes [7] ), s ( R0+1) and : s ( R0 +1) C ( f 1 ( R0 +1) + s p ( B R0 +1) ) (9) e deduce of this that s 0 ( 1) ; and with (8) and (9), we have : s 0 (1) C g 1 u 0 n p 1. (10) ii) Case n 3 and p > 2n n 2. The argument used above with p = 2n n 2 shows that s 1, 2n n 2 0 ( 1 ) and we 2n 1, n 2 use the same demonstration that i) with s 0 ( 1 ) instead of s 0 ( 1). So, we obtain the result for n = 3, n = 4 and n = 5 if p < 2n 2n 2n ; then we take instead of, and we start again ; so we n 4 n 4 n 2 reach for all dimension, all values of p. Consequently, we have s = ṽ 2 0 ( 1), v 2 0 () and v 2 0 () C g 1 u 0 n p 1. (11) Outside of B R1+1, ϕ 1 = 0 and v = v 2 and the trace of v 2 on B R1+1 belongs to 1 1 p ( B R1+1). So v checks : v = 0 in R1+1, v = v 2 on B R1+1, 8 v n = g 1 u 0 n on Γ 1.
9 In consequence, (see Lions and Magenes [7] ), v ( R1+1) and : v ( R1 +1) C ( g 1 u 0 n 1 p + v p ( B R1 +1) ) (12) e deduce of this that v 0 () and with (11) and (12), we have : v 0 () C g 1 u 0 n p 1. Then, we easily check (7). Finally the function u = u 0 + v 0 () 0 () suits and with (6) and (7), we have (5). 3.2 An inf-sup condition Setting for any p > 1, V p = {v 0 (), v = 0 on Γ 0}. we notice that, equipped with the norm. L p (), V p is a reflexive Banach space. In this subsection, we are interested in the existence of β > 0 a constant such that : v w dx inf sup β w V p v V p v L p () w L p () w 0 v 0 e define : H p () = {z L p (), div z = 0 in, z n = 0 on Γ 1 } Proposition 3.2. For any g L p (), there exists z H p () and ϕ V p, such that : g = ϕ + z, ϕ L p () C g L p () where C > 0 is a constant which depends only on and p. Proof- Let g be in L p () and g the extension by 0 of g in R n ; so we have g L p (R n ) and thanks to a result established in [2], div g 0 (R n ) P [1 n/p ] with div g 0 (R n ) C g L p (R n ) = C g L p (). According to the theorem 1.2 i), we know there exists v 0 (Rn ) such that v = div g in R n, and we show that v L p (R n ) C 1 g L p (). So, we have : g v L p (R n ) and div( g v) = 0 in R n. Consequently, (g v) n p 1 (Γ 1 ) and v Γ0 1 p 1 (Γ 0 ). Here, we apply the results of the theorem 3.1. There exists a unique w 0 () 0 () solution of : w = 0 in, w = v on Γ 0, 9 w n = (g v) n on Γ 1,
10 and we show that w L p () C 2 g L p (). Finally the functions ϕ = v + w and z = g ϕ comply with the question. Theorem 3.3. There exists a constant β > 0 such that v w dx inf sup β (13) w V p v V p v L p () w L p () w 0 v 0 Proof- Let w be in V p with w 0. e notice that w 0 because otherwise w is constant in the connected open region, ie w = 0 in because w = 0 on Γ 0. e have w g dx w L p () =. sup g L p () g 0 g L p () e easily check that for any z H p () and any v V p, we have z v dx = 0, what means that superior boundary defined above can not be reached for a g H p (). Let g be in L p () with g 0. e can suppose that g / H p () and thanks to the proposition 3.2, there exists z H p () and ϕ V p, with ϕ 0 such that g = z + ϕ and ϕ L p () C g L p (). Thus, w g dx w ϕ dx w ϕ dx C C sup. g L p () ϕ L p () ϕ V p ϕ L p () ϕ 0 This is checked for any g in L p (), so : w g dx w L p () = sup g L p () g 0 g L p () C sup ϕ V p ϕ 0 w ϕ dx. ϕ L p () e deduce the estimate (13) with β = 1 C > The full problem e remind here the following result : Theorem 3.4. Let X and M be two reflexive Banach spaces and X and M their dual spaces. Let b be a bilinear form defined and continuous on X M, let B L(X; M ) and B L(M, X ) be the operators defined by : v X, w M, b(v, w) = < Bv, w > = < v, B w > The following statements are equivalent : 10
11 i) There exists β > 0, such that inf w M w 0 sup v X v 0 b(v, w) v X w M β. ii) The operator B is an isomorphism from X/Ker B to M and 1 β continuity constant of B 1. iii) The operator B is an isomorphism from M to X Ker B and 1 β continuity constant of B 1. Here, we apply this theorem with X = V p, M = V p and : b(v, w) = v w dx. According to (13), is the is the B is an isomorphism from V p /Ker B to (V p ). (14) Then, we define for f Y p () and g 1 p (Γ 1 ) the linear form T by w V p, T (w) = T f (w) + < g, w > Γ1, where <.,. > Γ1 denotes the duality pairing between p 1 (Γ 1 ), 1 1 p (Γ 1 ). e check that T (V p ) and thanks to (14), we deduce the existence of v V p, unique up to an element of Ker B, such that Bv = T, ie : (FV) w V p, v w dx = T f (w) + < g, w > Γ1. Corollary 3.5. For any f Y p () and g p 1 (Γ 1 ), there exists a unique v 0 ()/Ker B, solution of v = f in, v = 0 on Γ 0, and checking the following inequality : v n = g on Γ 1. v 0 ()/Ker B C ( f Y p () + g p 1 ). (15) Proof- As we have done in the theorem 2.2, we show that the solution of the problem (FV) is also solution of this problem. Theorem 3.6. For any f Y p (), g 0 1 p 1 (Γ 0 ) and g 1 p 1 (Γ 1 ), there exists a unique u 0 ()/Ker B, solution of (P) and there exists a constant C > 0 such that : u 0 ()/Ker B C( f Y p () + g 0 1 p 1 + g 1 (Γ 0) p 1 ). Proof- First of all, thanks to [3], we know there exists a unique u 0 0 ( 1) where 1 = ω 1, solution of (P D ) and checking u 0 0 (1) C g 0 1 p 1. (16) (Γ 0) Thanks to corollary 3.5, we deduce that there exists a unique v 0 ()/Ker B, solution of (P ). Finally, the function u = u 0 + v is solution of (P) and the estimate comes from (15) and (16). 11
12 3.4 Characterization of the kernel of the operator B e set : M p 0 () = {v 0 (); v = 0 in, v = 0 on Γ 0, v n = 0 on Γ 1}. Thanks to the density of D() in 0 (), we easily check that Ker B = M p 0 (). Now, we characterize M p 0 (). For this, first of all, we define : µ 0 = U ( 1 Γ δ Γ), where U = 1 ln(r) is the fundamental solution of Laplace s equation in R2 2π and δ Γ is the distribution defined by : ϕ D(R 2 ), < δ Γ, ϕ > = ϕ dσ Proposition 3.7. e have the following statements : i) If p < n, then M p 0 () = {0}. ii) If p n 3, then M p 0 () = {c(λ 1), c R} where λ is the only solution in 0 () 0 () of the following problem (P 1 ) : λ = 0 in, λ = 1 on Γ 0, Γ λ n = 0 on Γ 1. iii) If p > n = 2, then M p 0 () = {c(µ µ 0), c R} where µ is the only solution in 0 () 0 () of the following problem (P 2 ) : µ = 0 in, µ = µ 0 on Γ 0, µ n = µ 0 n on Γ 1. Proof- Let z M p 0 () and let η be the trace of z on Γ 1. e have η p 1 (Γ 1 ). e know there exists a unique ξ ( ω 1 ), where ω 1 is the interior of the compact ω 1, checking : ξ = 0 in ω 1, ξ = η on Γ 1. Let z be defined by z = z in, z = ξ in ω 1, z = 0 in ω 0. It is obvious that z 0 (Rn ) and z 0 (R n ). Moreover, for any ϕ D(R n ), we have : < z, ϕ > D (R n ),D(R n )= < z n, ϕ > Γ 0 < ξ n, ϕ > Γ 1. e set h = z. Then, h 0 (R n ) and h has a compact support. At this stage, the discussion splits into two parts according to the dimension n : i) Case n 3. Thanks to the proposition 1.3, we know there exists a unique w such that : w 0 (Rn ) 0 (Rn ) and w = h in R n. 12
13 The difference z w is in 0 (Rn ) and is harmonic in R n. If p < n, then w = z in R n, the restriction of w to is in 0 () 0 (), and like z = w in, the section 2 implies that w = 0 in i.e M p 0 () = {0}. If p n 3, we have w = z + c in R n so w 0 () 0 () is the only solution of the problem : w = 0 in, w = c on Γ 0, w n = 0 on Γ 1. Consequently M p 0 () = {c(λ 1), c R} where λ is the solution of (P 1 ). ii) Case n = 2. The problem w = h in R 2, does not have a solution in 0 (R2 ) unless h satisfies the necessary condition < h, 1 > = 0. In this case, with the arguments above, we obtain z = c(λ 1). However, when n = 2, the constant functions are in 0 () 0 () so λ = 1 0 () 0 () is solution of (P 1 ). So z = 0, which is the trivial case. Thus, we suppose that < h, 1 > 0 and we consider the problem : w = h < h, 1 > µ 0 in R 2. (17) e know that µ 0 1,q 0 (R2 ) for any q > 2 and moreover µ 0 = 0 in ω 0 ω 1 and < µ 0, 1 >= 1. The right-hand side of (17) is orthogonal to constants, has compact support and belongs to 0 (R 2 ). So, thanks to proposition 1.3, the problem (17) has a solution (unique up to an additive constant) w 0 (R2 ) 0 (R2 ). Moreover, the function w + < h, 1 > µ 0 z is harmonic in R 2. So, there exists c > 0 such that w + < h, 1 > µ 0 z = c. The restriction of w to is in 0 () 0 () and w = c + w 1 where w 1 is the only solution in 0 () 0 () of the problem : w 1 = 0 in, w 1 = < h, 1 > µ 0 on Γ 0, w 1 n = < h, 1 > µ 0 n on Γ 1. The function µ being the only solution in 0 () 0 () of the problem (P 2 ). e have M p 0 () = {c(µ µ 0), c R}. 3.5 A regularity result e suppose, in this subsection, that p 2. Here, we propose to study the question of the regularity of the solutions when the data are more regular. More precisely, we suppose that : where g p (Γ 0 ), g p (Γ 1 ) and f X 0 1 () { 0 n 1 () = 1 () if p n 1, 0 1 () 0 () otherwise, X 0 equipped with its natural norm : (we remind that 0 1 () is included in 0 () if and only if 0 () 0 (), this last inclusion taking place if and only if p n n 1 ). 13
14 Theorem 3.8. For any g p (Γ 0 ), g p (Γ 1 ), and f X 0 1 (), there exists a unique u 2 1 ()/Mp 0 () solution of (P), and we have : u 2 1 ()/Mp 0 () C ( f X 0 1 () + g p (Γ 0) + g p ) (18) Proof- For p 2 and g p (Γ 0 ), we have, thanks to [3] that the solution u 0 0 ( 1) (where 1 = ω 1 ) of the problem (P D ) is in 2 1 ( 1) and it checks : u (1) C g p (Γ 0). (19) now, we notice that u 0 n 1 1 p (Γ 1 ) because u ( 1). Thus, as f X 0 1 () Y p () and g 1 u 0 n 1 1 p (Γ 1 ) p 1 (Γ 1 ), applying the corollary 3.5 when p > 2 and the theorem 2.2 when p = 2, there exists, for p 2, a unique v 0 () solution of the problem (P ). It stays to show that v 2 1 () and that v 2 1 ()/Mp 0 () C ( f X 0 1 () + g g 1 p 1 (Γ 1 ). (20) 0) p For this, we follow the same reasoning as theorem 3.1 using theorem 1.2 ii) if p n and theorem 1.2 iii) otherwise, and using regularity results in n 1 bounded open regions (see Lions and Magenes [7] for instance). Finally, the function u = u 0 + v 2 1 () is solution of (P) and the estimate (18) is a consequence of (19) and (20). 4 Case p < 2 e are going to proceed in two steps. First of all, thanks to an argument of duality, which allows us to use results of the previous section, we solve the problem in the case where f = 0 and g 1 = 0. The sum of the solution of this problem and of a solution of a Neumann problem will permit us to solve the general problem (P). In all the section, we suppose that p < 2 and that Γ is of class C 1, Case where f = 0 and g 1 = 0. Let g p (Γ 0 ) checking the condition of compatibility z z M p 0 (), < n, g 0 > Γ0 = 0, (21) where <, > Γ0 ith this hypothesis, we consider the problem : find v 0 denotes the duality pairing 1 p (Γ 0 ), 1 1 p (Γ 0 ). (Q) v = 0 in, v = g 0 on Γ 0, v n = 0 on Γ () solution of :
15 and this other problem (Q ) : find v 0 () such that for any u X p () satisfying u = 0 on Γ 0 and u n = 0 on Γ 1, we have : where T u (v) = < u n, g 0 > Γ0 (22) X p () = {u 0 (), u L p ()}. e easily check that the problem (Q) is equivalent to the problem (Q ). Theorem 4.1. For any g 0 1 p 1 (Γ 0 ) satisfying the compatibility condition (21), there exists a unique v 0 () solution of the problem (Q) and we have the following estimate : v 0 () g 0 1 p 1. (Γ 0) Proof- Let f be in Y p (). It is obvious that T f ( 0 ()). Like p > 2, thanks to the theorem 3.6, we know there exists a unique u 0 ()/M p () such that checking 0 u = f in, u = 0 on Γ 0, u n = 0 on Γ 1, u 0 ()/M p 0 () C T f ( 0 ()) (23) Let L be the linear form defined on ( 0 ()) by : L(T f ) = < u n, g 0 > Γ0. e are going to show that L is continuous. Let z be in M p 0 (), then, thanks to (21), we have < u n, g (u + z) 0 > Γ0 = < n, g 0 > Γ0. Now, let θ be an open region of class C 1,1 such that ω 0 θ B R where R is the radius associated to the partition of the unity used in the definition of T f. e set θ = θ\ω 0 and let ϕ ( θ ) be such that ϕ = 0 on θ. e have : (u + z) < n, ϕ > Γ 0 (u + z) L p ( θ ) ϕ L p ( θ ) + ϕ (u + z) dx. θ But, ϕ (u + z) dx = θ ϕ u dx = T u ( ϕ), θ where ϕ 0 () is defined by ϕ = ϕ in θ, ϕ = 0 in \ θ. In consequence, < (u + z) n, ϕ > Γ 0 (u+z) L p ( θ ) ϕ L p ( θ )+ T f ( 0 ()) ϕ ( θ ). Now, for any µ 1 1 p (Γ 0 ), we know there exists ϕ ( θ ) such that ϕ = µ on Γ 0 and ϕ = 0 on θ checking ϕ ( θ ) C µ 1 1 p (Γ 0), 15
16 where C > 0 is a constant which depends only on θ and on µ. So < (u + z) n, µ > Γ 0 C ( (u+z) L p ( θ ) + T f ( 0 ()) ) µ 1 1 p (Γ 0). Thus, we deduce of (23) that So (u + z) inf z M p 0 () n 1/p (Γ C T 0) f (. 0 ()) L(T f ) = < u n, g 0 > C T f ( g 0 0 ()) 1 p 1, (Γ 0) and the linear form L is continuous on ( 0 ()). Like the space 0 () is reflexive, we can identify L to an element of 0 (), i.e there exists a unique v 0 () such that : T f (v) = < u n, g 0 > Γ0, and checking the estimate searched. In consequence, the function v is solution of the problem (Q ) equivalent to the problem (Q). 4.2 The general problem when p<2. Let f Y p (), g 0 1 p 1 (Γ 0 ) and g 1 p 1 (Γ 1 ). e remind that we search u 0 () solution of the problem (P). Assuming that a such solution u 0 () exists, for any ϕ Mp 0 (), we have thanks to the density of D() in 0 () : T f (ϕ) = u ϕ dx < g 1, ϕ > Γ1. (24) Like D() is also dense in 0 (), we have, for any ϕ Mp 0 () : ϕ u dx = < ϕ n, g 0 > Γ0. (25) e deduce of (24) and (25) that if u 0 () is solution of the problem (P), the data must checking the following condition of compatibility : ϕ M p 0 (), T f (ϕ) = < ϕ n, g 0 > Γ0 < g 1, ϕ > Γ1. (26) Theorem 4.2. Let p < 2, f Y p (), g 0 1 p 1 (Γ 0 ), g 1 p 1 (Γ 1 ) be satisfying the condition of compatibility (26) if 1 < p n, then there exists n 1 a unique u 0 () solution of the problem (P) and there exists C > 0 such that u 0 () C( f Y p () + g 0 1 p 1 + g 1 (Γ 0) p 1 ). 16
17 Proof- First of all, we notice that the condition (26) is always satisfied if n n 1 < p < 2 because in this case p < n and M p 0 () = {0}. Let θ be the constant defined by : T f (1) + < g 1, 1 > Γ1 + < θ, 1 > Γ0 = 0. (27) According to [3], thanks to (27), there exists a unique w 0 () such that : w = f in, w n = θ on Γ 0, w n = g 1 on Γ 1. Moreover, for any ϕ M p 0 (), we have, thanks to (26), that < ϕ n, g 0 w > Γ0 = 0. (28) So, we can apply theorem 4.1 which assures existence of a unique v 0 () such that : v v = 0 in, v = g 0 w on Γ 0, n = 0 on Γ 1, satisfying v 0 () C ( w 0 () + g 0 1 p 1 ). (29) (Γ 0) Finally, the function u = v + w 0 () is the solution searched and the inequality of continuous dependance comes from (29) and : w 0 () C ( f Y p () + g 1 p 1 ). 4.3 A regularity result e suppose, in this subsection, that p < 2. Here, we study the regularity of solutions when the data are more regular. Theorem 4.3. For any g p (Γ 0 ), g p (Γ 1 ), f X 0 1 () satisfying the condition (26) if 1 < p < n, there exists a unique n 1 u 2 1 () solution of (P), and we have : u 2 1 () C ( f X 0 1 () + g p (Γ 0) + g p ) (30) Proof- e retake the proof of the theorem 4.2. e know, thanks to [3] that the solution w 0 () of the problem (Q 2 1 ) is, in this case, in 1 () and checks : w 2 1 () C ( f X 0 1 () + g ). (31) p Now, we notice that, on Γ 0, g 0 w 2 1 p (Γ 0 ) 1 p 1 (Γ 0 ). Thus, applying the theorem 4.2, the condition of compatibility (26) being checked if 1 < p < n, there exists a unique v 0 () solution of the problem n 1 (Q 2 ). It stays to show that v 2 1 () and that v 2 1 () C ( f X 0 1 () + g g 1 p 1 (Γ 1 ). (32) 0) p 17
18 For this, we follow the same reasonning that at the proposition 3.1 using the theorem 1.2 ii) if p n and the theorem 1.2 iii) otherwise and also using n 1 regularity results in bounded open regions (see Lions and Magenes [7] for instance). Finally, u = w + v 2 1 () is the solution searched and by (31) and (32), we have (30). 5 Solutions in homogeneous spaces In all the section we suppose that p < n. Let v be in R. It is frequent to meet in the litterature the following problem : find v D (), with v L p () solution of (R) v = f in, v = g 0 on Γ 0, v n = g 1 on Γ 1, v v at infinity. where the sense of the convergence v v is specified in the following proposition (see [4]). Proposition 5.1. e suppose that 1 < p < n and z D () such that z L p (). Then, there exists a unique constant z R such that z z 0 (), where z is defined by : z = lim x + 1 S n Moreover, we have the following proprieties : lim x + 1 S n z z L np n p (), S n z(σ x ) dσ z z np C z L n p L () p (), 1 z(σ x ) z dσ = lim z(σ x ) z p dσ = 0 S n x + S n S n z(rσ) z p dσ Cr p n z p dx. S n {x, x >r} Let z D () be such that z L p (). So, we say that z z if and only if : 1 lim (z(σ x ) z ) dσ = 0. x + S n S n It is obvious that if z D (), z L p (), then z z is equivalent to z z L np n p () or to z z 0 (). Proposition 5.2. For any f Y p (), g p (Γ 0 ), g 1 1 p (Γ 1 ) and v R, with 1 < p < n, there exists a unique v D () with v L p () solution of (R) and we have the following estimate : v v 0 () C ( f Y p () + g 0 v 1 p 1 + g 1 (Γ 0) p 1 ). 18
19 Proof- The previous sections allow us to say that there exists a unique u 0 () solution of and checking u = f in, u = g 0 v on Γ 0, u n = g 1 on Γ 1, u 0 () C ( f Y p () + g 0 v 1 p 1 + g 1 (Γ 0) p 1 ). (33) It is obvious that u 0. Thus, the function v = u + v belongs to D (), checks v L p () and v v. So, v is solution of (R) and the estimate searched comes from the inequality (33). Now, let a be in R n. e want to solve the following problem : find v D 2 v (), such that for any i, j = 1,..., n, we have L p (), solution x i x j of v = f in, v = g 0 on Γ 0, v (R ) n = g 1 on Γ 1, v a at infinity. Proposition 5.3. For any f L p (), g p (Γ 0 ), g p (Γ 1 ) and a R n, with 1 < p < n, there exists a unique v D () with, for any 2 v i, j = 1,..., n, L p (), solution of (R ) and we have the following x i x j estimate : v a x 2 0 () C( f L p ()+ g 0 a x 2 1 p (Γ 0) + g 1 a n 1 1 p ). Proof- First of all, we set f the extension of f by 0 on R n. So, we have f L p (R n ). Moreover, we know that : 2 0 (Rn )/P [2 n/p] L p (R n ) is an isomorphism, so there exists ũ 2 0 (Rn ) unique up to an additive constant, such that ũ = f in R n. e have ũ 2 0 () and ũ = f in. Thanks to the regularity results of the previous sections, we know there exists a unique z () 0 () solution of the problem z = 0 in, z = g 0 a x ũ on Γ 0, z n = g 1 a n ( ũ n ) on Γ 1. So the function u = ũ + z is in 2 0 () and is solution of the problem u = f in, u = g 0 a x on Γ 0, checking the following estimate : u n = g 1 a n on Γ 1, u 2 0 () C( f L p () + g 0 a x g p 1 a n 1 (Γ 1 ). 0) p (34) e have also u 0 () and u 0. Now, we set v = u + a x. e have v D 2 v () and i, j = 1,..., n, = 2 u L p () because x i x j x i x j 19
20 u 2 0 (). Moreover v = u + a so v a. So v is solution of (R ) and the estimate searched comes from (34). Remark : If we take f X 0 1 (), we can show that for any g p (Γ 0 ), g p (Γ 1 ), a R n and b R, there exists a unique v D () with, 2 v for any i, j = 1,..., n, L p (), solution of the following problem x i x j (R ) v = f in, v = g 0 on Γ 0, v n = g 1 on Γ 1, v a x b 0 at infinity. References [1] R. A. Adams, Sobolev Spaces, Academic Press, New York, [2] C. Amrouche, V. Girault, J. Giroire, eighted Sobolev Spaces for Laplace s Equation in R n, J. Math. Pures Appl. 73 (1994) [3] C. Amrouche, V. Girault, J. Giroire, Dirichlet and Neumann Exterior Problems for the n-dimensionnal Laplace operator. An approach in eighted Sobolev Spaces, J. Math. Pures Appl. 76 (1997) [4] C. Amrouche, U. Razafison, eighted Sobolev Spaces for a Scalar Model of the Stationary Oseen Equations in R 3, Journal of Mathematics Fluids of Mechanics (online, /s ), 30 p. [5] J.Deny, J. L. Lions, Les espaces de type Beppo-Levi, Ann. Inst. Fourier, Grenoble (5) (1954) [6] J. Giroire, Etude de quelques Problèmes aux Limites Extérieurs et Résolution par Equations Intégrales, Thèse de Doctorat d Etat, Université Pierre et Marie Curie (Paris VI), [7] J. L. Lions, E. Magenes, Problemi ai limiti non omogenei (V), Ann. Scuola Norm. Sup. Pisa Cl. Sci (4) 16 (1962) [8] J. Nečas, Les Méthodes Directes en Théorie des Equations Elliptiques, Masson, Paris,
STOKES PROBLEM WITH SEVERAL TYPES OF BOUNDARY CONDITIONS IN AN EXTERIOR DOMAIN
Electronic Journal of Differential Equations, Vol. 2013 2013, No. 196, pp. 1 28. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu STOKES PROBLEM
More informationNew estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space
New estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space Chérif Amrouche, Huy Hoang Nguyen To cite this version: Chérif Amrouche, Huy Hoang Nguyen. New estimates
More informationNew estimates for the div-curl-grad operators and elliptic problems with L1-data in the whole space and in the half-space
New estimates for the div-curl-grad operators and elliptic problems with L1-data in the whole space and in the half-space Chérif Amrouche, Huy Hoang Nguyen To cite this version: Chérif Amrouche, Huy Hoang
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 informationTHE STOKES SYSTEM R.E. SHOWALTER
THE STOKES SYSTEM R.E. SHOWALTER Contents 1. Stokes System 1 Stokes System 2 2. The Weak Solution of the Stokes System 3 3. The Strong Solution 4 4. The Normal Trace 6 5. The Mixed Problem 7 6. The Navier-Stokes
More informationProblem of Second grade fluids in convex polyhedrons
Problem of Second grade fluids in convex polyhedrons J. M. Bernard* Abstract This article studies the solutions of a three-dimensional grade-two fluid model with a tangential boundary condition, in a polyhedron.
More informationOPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS
PORTUGALIAE MATHEMATICA Vol. 59 Fasc. 2 2002 Nova Série OPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS J. Saint Jean Paulin and H. Zoubairi Abstract: We study a problem of
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 informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
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 informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationInvertibility of the biharmonic single layer potential operator
Invertibility of the biharmonic single layer potential operator Martin COSTABEL & Monique DAUGE Abstract. The 2 2 system of integral equations corresponding to the biharmonic single layer potential in
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 informationEXISTENCE AND REGULARITY OF SOLUTIONS FOR STOKES SYSTEMS WITH NON-SMOOTH BOUNDARY DATA IN A POLYHEDRON
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 147, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE AND REGULARITY OF SOLUTIONS FOR
More informationPseudo-monotonicity and degenerate elliptic operators of second order
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 9 24. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More information1 The Stokes System. ρ + (ρv) = ρ g(x), and the conservation of momentum has the form. ρ v (λ 1 + µ 1 ) ( v) µ 1 v + p = ρ f(x) in Ω.
1 The Stokes System The motion of a (possibly compressible) homogeneous fluid is described by its density ρ(x, t), pressure p(x, t) and velocity v(x, t). Assume that the fluid is barotropic, i.e., the
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 informationNotes on Sobolev Spaces A. Visintin a.a
Notes on Sobolev Spaces A. Visintin a.a. 2017-18 Contents: 1. Hölder spaces. 2. Regularity of Euclidean domains. 3. Sobolev spaces of positive integer order. 4. Sobolev spaces of real integer order. 5.
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 informationLECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,
LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical
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 informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationLocal null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain
Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain Nicolás Carreño Université Pierre et Marie Curie-Paris 6 UMR 7598 Laboratoire
More informationON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS
Chin. Ann. Math.??B(?), 200?, 1 20 DOI: 10.1007/s11401-007-0001-x ON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS Michel CHIPOT Abstract We present a method allowing to obtain existence of a solution for
More informationChapter 2 Finite Element Spaces for Linear Saddle Point Problems
Chapter 2 Finite Element Spaces for Linear Saddle Point Problems Remark 2.1. Motivation. This chapter deals with the first difficulty inherent to the incompressible Navier Stokes equations, see Remark
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 informationOn the distributional divergence of vector fields vanishing at infinity
Proceedings of the Royal Society of Edinburgh, 141A, 65 76, 2011 On the distributional divergence of vector fields vanishing at infinity Thierry De Pauw Institut de Recherches en Mathématiques et Physique,
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationINF-SUP CONDITION FOR OPERATOR EQUATIONS
INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent
More informationOn the uniform Poincaré inequality
On the uniform Poincaré inequality Abdesslam oulkhemair, Abdelkrim Chakib To cite this version: Abdesslam oulkhemair, Abdelkrim Chakib. On the uniform Poincaré inequality. Communications in Partial Differential
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
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 informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationUniversité de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz
Université de Metz Master 2 Recherche de Mathématiques 2ème semestre Systèmes gradients par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Année 26/7 1 Contents Chapter 1. Introduction
More informationObstacle Problems Involving The Fractional Laplacian
Obstacle Problems Involving The Fractional Laplacian Donatella Danielli and Sandro Salsa January 27, 2017 1 Introduction Obstacle problems involving a fractional power of the Laplace operator appear in
More informationAppendix A Functional Analysis
Appendix A Functional Analysis A.1 Metric Spaces, Banach Spaces, and Hilbert Spaces Definition A.1. Metric space. Let X be a set. A map d : X X R is called metric on X if for all x,y,z X it is i) d(x,y)
More informationWeak Solutions to Nonlinear Parabolic Problems with Variable Exponent
International Journal of Mathematical Analysis Vol. 1, 216, no. 12, 553-564 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ijma.216.6223 Weak Solutions to Nonlinear Parabolic Problems with Variable
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More informationWeak Formulation of Elliptic BVP s
Weak Formulation of Elliptic BVP s There are a large number of problems of physical interest that can be formulated in the abstract setting in which the Lax-Milgram lemma is applied to an equation expressed
More informationSEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE
SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE FRANÇOIS BOLLEY Abstract. In this note we prove in an elementary way that the Wasserstein distances, which play a basic role in optimal transportation
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationContinuous Sets and Non-Attaining Functionals in Reflexive Banach Spaces
Laboratoire d Arithmétique, Calcul formel et d Optimisation UMR CNRS 6090 Continuous Sets and Non-Attaining Functionals in Reflexive Banach Spaces Emil Ernst Michel Théra Rapport de recherche n 2004-04
More informationSpectrum and Exact Controllability of a Hybrid System of Elasticity.
Spectrum and Exact Controllability of a Hybrid System of Elasticity. D. Mercier, January 16, 28 Abstract We consider the exact controllability of a hybrid system consisting of an elastic beam, clamped
More informationApproximation in Banach Spaces by Galerkin Methods
2 Approximation in Banach Spaces by Galerkin Methods In this chapter, we consider an abstract linear problem which serves as a generic model for engineering applications. Our first goal is to specify the
More informationFinite Elements. Colin Cotter. February 22, Colin Cotter FEM
Finite Elements February 22, 2019 In the previous sections, we introduced the concept of finite element spaces, which contain certain functions defined on a domain. Finite element spaces are examples of
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 informationUniform estimates for Stokes equations in domains with small holes and applications in homogenization problems
Uniform estimates for Stokes equations in domains with small holes and applications in homogenization problems Yong Lu Abstract We consider the Dirichlet problem for the Stokes equations in a domain with
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationFinite Element Methods for Maxwell Equations
CHAPTER 8 Finite Element Methods for Maxwell Equations The Maxwell equations comprise four first-order partial differential equations linking the fundamental electromagnetic quantities, the electric field
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More informationDIV-CURL TYPE THEOREMS ON LIPSCHITZ DOMAINS Zengjian Lou. 1. Introduction
Bull. Austral. Math. Soc. Vol. 72 (2005) [31 38] 42b30, 42b35 DIV-CURL TYPE THEOREMS ON LIPSCHITZ DOMAINS Zengjian Lou For Lipschitz domains of R n we prove div-curl type theorems, which are extensions
More informationAn ill-posed boundary value problem for the Helmholtz equation on Lipschitz domains
c de Gruyter 2009 J. Inv. Ill-Posed Problems 17 (2009), 703 711 DOI 10.1515 / JIIP.2009.041 An ill-posed boundary value problem for the Helmholtz equation on Lipschitz domains W. Arendt and T. Regińska
More informationOn the L -regularity of solutions of nonlinear elliptic equations in Orlicz spaces
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 8. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
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 informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationSharp estimates of bounded solutions to some semilinear second order dissipative equations
Sharp estimates of ounded solutions to some semilinear second order dissipative equations Cyrine Fitouri & Alain Haraux Astract. Let H, V e two real Hilert spaces such that V H with continuous and dense
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationt y n (s) ds. t y(s) ds, x(t) = x(0) +
1 Appendix Definition (Closed Linear Operator) (1) The graph G(T ) of a linear operator T on the domain D(T ) X into Y is the set (x, T x) : x D(T )} in the product space X Y. Then T is closed if its graph
More information4 Sobolev spaces, trace theorem and normal derivative
4 Sobolev spaces, trace theorem and normal derivative Throughout, n will be a sufficiently smooth, bounded domain. We use the standard Sobolev spaces H 0 ( n ) := L 2 ( n ), H 0 () := L 2 (), H k ( n ),
More informationSOLVABILITY IN THE SENSE OF SEQUENCES TO SOME NON-FREDHOLM OPERATORS. 1. Introduction
Electronic Journal of Differential Equations, Vol. 203 (203), No. 60, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SOLVABILITY IN THE SENSE
More informationTitle: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on
Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department
More informationError estimates for the Raviart-Thomas interpolation under the maximum angle condition
Error estimates for the Raviart-Thomas interpolation under the maximum angle condition Ricardo G. Durán and Ariel L. Lombardi Abstract. The classical error analysis for the Raviart-Thomas interpolation
More informationOn a Nonlocal Elliptic System of p-kirchhoff-type Under Neumann Boundary Condition
On a Nonlocal Elliptic System of p-kirchhoff-type Under Neumann Boundary Condition Francisco Julio S.A Corrêa,, UFCG - Unidade Acadêmica de Matemática e Estatística, 58.9-97 - Campina Grande - PB - Brazil
More informationDomain Perturbation for Linear and Semi-Linear Boundary Value Problems
CHAPTER 1 Domain Perturbation for Linear and Semi-Linear Boundary Value Problems Daniel Daners School of Mathematics and Statistics, The University of Sydney, NSW 2006, Australia E-mail: D.Daners@maths.usyd.edu.au
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
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 informationUniform estimates for Stokes equations in domains with small holes and applications in homogenization problems
Uniform estimates for Stokes equations in domains with small holes and applications in homogenization problems Yong Lu Abstract We consider the Dirichlet problem for the Stokes equations in a domain with
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
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 informationhal , version 1-22 Nov 2009
Author manuscript, published in "Kinet. Relat. Models 1, 3 8) 355-368" PROPAGATION OF GEVREY REGULARITY FOR SOLUTIONS OF LANDAU EQUATIONS HUA CHEN, WEI-XI LI AND CHAO-JIANG XU Abstract. By using the energy-type
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
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 informationInternal Stabilizability of Some Diffusive Models
Journal of Mathematical Analysis and Applications 265, 91 12 (22) doi:1.16/jmaa.21.7694, available online at http://www.idealibrary.com on Internal Stabilizability of Some Diffusive Models Bedr Eddine
More informationNonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient
Electronic Journal of Differential Equations, Vol. 2002(2002), No. 54, 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) Nonexistence
More informationOn the bang-bang property of time optimal controls for infinite dimensional linear systems
On the bang-bang property of time optimal controls for infinite dimensional linear systems Marius Tucsnak Université de Lorraine Paris, 6 janvier 2012 Notation and problem statement (I) Notation: X (the
More informationarxiv: v1 [math.na] 27 Jan 2016
Virtual Element Method for fourth order problems: L 2 estimates Claudia Chinosi a, L. Donatella Marini b arxiv:1601.07484v1 [math.na] 27 Jan 2016 a Dipartimento di Scienze e Innovazione Tecnologica, Università
More informationTHE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM
THE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM BEN LOWE Abstract. In this paper, we develop the local theory of elliptic operators with a mind to proving the Hodge Decomposition Theorem.
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationUSING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION
USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
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.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationMath 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian
. Introduction Math 699 Reading Course, Spring 007 Rouben Rostamian Homogenization of ifferential Equations May, 007 by Alen Agheksanterian In this brief note, we will use several results from functional
More informationScientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1
Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient
More informationA variation on the infsup condition
Cinquième foire européenne aux éléments finis Centre International de Rencontres Mathématiques Marseille Luminy, 17-19 mai 2007 A variation on the infsup condition François Dubois CNAM Paris and University
More informationarxiv: v1 [math.oc] 12 Nov 2018
EXTERNAL OPTIMAL CONTROL OF NONLOCAL PDES HARBIR ANTIL, RATNA KHATRI, AND MAHAMADI WARMA arxiv:1811.04515v1 [math.oc] 12 Nov 2018 Abstract. Very recently Warma [35] has shown that for nonlocal PDEs associated
More informationA regularity property for Schrödinger equations on bounded domains
A regularity property for Schrödinger equations on bounded domains Jean-Pierre Puel October 8, 11 Abstract We give a regularity result for the free Schrödinger equations set in a bounded domain of R N
More informationIrrationality exponent and rational approximations with prescribed growth
Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing
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 RESULTS FOR SOME VARIATIONAL INEQUALITIES INVOLVING NON-NEGATIVE, NON-COERCITIVE BILINEAR FORMS. Georgi Chobanov
Pliska Stud. Math. Bulgar. 23 (2014), 49 56 STUDIA MATHEMATICA BULGARICA EXISTENCE RESULTS FOR SOME VARIATIONAL INEQUALITIES INVOLVING NON-NEGATIVE, NON-COERCITIVE BILINEAR FORMS Georgi Chobanov Abstract.
More informationA Product Property of Sobolev Spaces with Application to Elliptic Estimates
Rend. Sem. Mat. Univ. Padova Manoscritto in corso di stampa pervenuto il 23 luglio 2012 accettato l 1 ottobre 2012 A Product Property of Sobolev Spaces with Application to Elliptic Estimates by Henry C.
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationarxiv: v1 [math.ap] 10 May 2013
0 SOLUTIOS I SOM BORDRLI CASS OF LLIPTIC QUATIOS WITH DGRAT CORCIVITY arxiv:1305.36v1 [math.ap] 10 May 013 LUCIO BOCCARDO, GISLLA CROC Abstract. We study a degenerate elliptic equation, proving existence
More informationHeat kernels of some Schrödinger operators
Heat kernels of some Schrödinger operators Alexander Grigor yan Tsinghua University 28 September 2016 Consider an elliptic Schrödinger operator H = Δ + Φ, where Δ = n 2 i=1 is the Laplace operator in R
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More information