ENERGY IDENTITY FOR THE MAPS FROM A SURFACE WITH TENSION FIELD BOUNDED IN L p


 Poppy Doyle
 2 years ago
 Views:
Transcription
1 Available at: htt://ublications.ict.it IC/2009/083 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS ENERGY IDENTITY FOR THE MAPS FROM A SURFACE WITH TENSION FIELD BOUNDED IN L Li Jiayu Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing 00080, Peole s Reublic of China and The Abdus Salam International Centre for Theoretical Physics, Trieste, Italy and Zhu Xiangrong 2 The Abdus Salam International Centre for Theoretical Physics, Trieste, Italy. Abstract Let M be a closed Riemannian surface and u n a sequence of mas from M to Riemannian manifold N satisfying su( u n L 2 (M) + τ(u n ) L (M)) Λ n for some >, where τ(u n ) is the tension field of the maing u n. For the general target manifold N, if 6 5, we rove the energy identity and neckless during blowing u. If the target manifold N is a standard shere S m, we get the same results for any >. MIRAMARE TRIESTE November
2 Introduction Let (M, g) be a closed Riemannian manifold and (N, h) be a Riemannian manifold without boundary. For a maing u from M to N in W,2 (M,N), the energy density of u is defined by e(u) = 2 du 2 = Trace g u h where u h is the ullback of the metric tensor h. The energy of the maing u is defined as where dv is the volume element of (M,g). E(u) = M e(u)dv A ma u C (M,N) is called harmonic if it is a critical oint of the energy E. By Nash embedding theorem we know that (N,h) can be isometrically into an Euclidean sace R K with some ositive integer K. Then (N,h) may be considered as a submanifold of R K with the metric induced from the Euclidean metric. Thus a ma u C (M,N) can be considered as a ma of C (M,R K ) whose image lies on N. In this sense we can get the following EulerLagrange equation The tension field τ(u) is defined by u = A(u)(du,du). τ(u) = M u A(u)(du,du) where A(u)(du,du) is the second fundamental form of N in R K. So u is harmonic means that τ(u) = 0. The harmonic maings are of secial interest when M is a Riemann surface. Consider a sequence of maings u n from Riemann surface M to N with bounded energies. It is clear that u n converges weakly to u in W,2 (M,N) for some u W,2 (M,N). But in general, it may not converge strongly in W,2 (M,N). When τ(u n ) = 0, i.e. u n are all harmonic, Parker in [9] roved that the lost energy is exactly the sum of some harmonic sheres which is defined as a harmonic maing from S 2 to N. This result is called energy identity. Also he roved that the images of these harmonic sheres and u(m) are connected, i.e. there is no neck during blowing u. When τ(u n ) is bounded in L 2, the energy identity is roved in [0] for the shere and [2] for the general target manifold. In [] they roved there is no neck during blowing u. For the heat flow of harmonic maings, the results can also be found in [5, 6]. When the target manifold is a shere, there are some good observations in [8] for general tension field. In this aer we rove the energy identity and neckless during blowing u for a sequence of mas u n with τ(u n ) bounded in L for some 6 5. Esecially, when the target manifold is a shere, we obtain the same results for any >. 2
3 When τ(u n ) is bounded in L for some >, the small energy regularity roved in [2] imlies that u n converges strongly in W,2 (M,N) outside a finite set of oints. For simlicity in exosition, it is no matter to assume that M is the unit disk D = D(0,) and there is only one singular oint at 0. In this aer we rove the following two theorems. Theorem Let {u n } be a sequence of maings from D to N in W,2 (D,N) with tension field τ(u n ). If (a) u n W,2 (D ) + τ(u n ) L (D ) Λ for some 6 5 ; (b) u n u strongly in W,2 (D \ {0},R K ) as n. Then there exist a subsequence of {u n } (we still denote it by {u n }) and some nonnegative integer k. For any i =,...,k, there exist oints x i n, ositive numbers r i n and a nonconstant harmonic shere w i (which we view as a ma from R 2 { } N) such that () x i n 0,ri n 0 as n ; (2) lim n ( ri n + rj rn j n ) = for any i j; rn+r i n j (3) w i is the weak limit or strong limit of u n (x i n + rnx) i in W,2 Loc (R2,N); (4) Energy identity: r i n + xi n x j n lim E(u n,d ) = E(u,D ) + n (5) Neckless: The image u(d ) k i= w i (R 2 ) is a connected set. k E(w i ); () i= Theorem 2 If the target manifold N is a standard shere S m, Theorem holds for any >. This aer is organized as follows. In section 2 we state some basic lemmas and some standard arguments in the blowu analysis. In section 3 and section 4 we rove Theorem. In the roof, we used delicate analysis based on the ideas in [2], [7] and []. Energy identity is roved in section 3 and neckless is roved in section 4. In section 5 and section 6 we introduced new ideas in roving Theorem 2. Similarly, energy identity is roved in section 5 and neckless is roved in section 6. Throughout this aer, without illustration the letter C denotes a ositive constant which deends only on,λ and the target manifold N and may vary in different cases. Furthermore, we do not always distinguish the sequence and its subsequence. 2 Some basic lemmas and standard arguments The Lorentz sace L 2, is defined as {f : f L 2, = 0 f (t)t 2 dt < } where f (t) = inf{s > 0 : {x : f(x) > s} t} is the nonincreasing rearrangement function of f. The following roerty is fundamental on R 2. 3
4 Lemma 3 For any δ > 0, we have Proof: q > 2 there holds f L 2 (D δ ) C f L 2, (D δ ); f L 2, (D δ ) C q δ q 2 q f L q (R 2 ),q > 2. We only rove the last inequality. By the definition of rearrangement function, when f L 2, (D δ ) = ( So we comlete the roof of this lemma. 0 Dδ 0 0 (fχ Dδ ) (t)t 2dt f (t)t 2dt C q δ 2 q f q. (f ) q (t)dt) πδ 2 q ( 0 t q 2(q ) dt) q q Lemma 4 ([5] P42 Theorem 3.3.0) For each m 2, the sace W, (R m ) is continuously embedded in L m m, (R m ). As a corollary, when m = 2 we have Lemma 5 The Riesz otential is bounded from the Hardy sace H (R 2 ) to L 2, (R 2 ), i.e. where R i (x) = x i x 2, i =,2. R i f L 2, (R 2 ) C f H (R 2 ) Remark: The roof is contained in [5] P4P42 (The roof of Theorem 3.3.8). For convenience we illustrate the roof here. and Let Φ be the Newtonian otential of f, then Hélein in [5] P42 showed that Φ W 2, (R 2 ) dφ L 2, (R 2 ) C f H (R 2 ). As the Riesz otential of f is the artial derivative of Φ, i.e. R i f = i (N f) = i Φ, we obtain the desired result. Lemma 6 ([5],P37 Theorem 3.3.4) If f L 2, (R 2 ), then f is continuous and f f(0) C 0 (D ) C f L 2, (D ). We also need the following result on the Hardy sace H (R 2 ). Lemma 7 ([]) If f,g W,2 (R 2 ),then f g = f 2 g 2 f g belongs to the Hardy sace H (R 2 ) and furthermore f g H C f 2 g 2. (2) 4
5 Now we recall the regular theory for the maing with small energy on the unit disk and the tension field in L ( > ). Lemma 8 Let ū be the mean value of u on the disk D. There exists a ositive constant ǫ N that 2 deends only on the target manifold such that if E(u,D ) ǫ 2 N then where >. that u ū W 2, (D 2 ) C( u L 2 (D ) + τ(u) ) (3) As a direct consequence of (3) and the Sobolev embedding W 2, (R 2 ) C 0 (R 2 ), we have u Osc(D2 ) = su x,y D 2 u(x) u(y) C( u L 2 (D ) + τ(u) ). (4) The lemma has been roved in [2]. Remark. In [2] they roved this lemma for the mean value of u on the unit disk. Note D u(x)dx D 2 u(x)dx C u D D L 2 (D ). 2 So we can use the mean value of u on D in this lemma. 2 Remark 2. Suose we have a sequence of maings u n from the unit disk D to N with u n W,2 (D ) + τ(u n ) L (D ) Λ for some >. D, A oint x D is called an energy concentration oint (blowu oint) if for any r,d(x,r) where ǫ N is given in this lemma. sue(u n,d(x,r)) > ǫ 2 N n If x D isn t an energy concentration oint, then we can find a ositive number δ such that E(u n,d(x,δ)) ǫ 2 N, n. Then it follows from Lemma 8 that we have a uniformly W 2, (D(x, δ 2 ))bound for u n. Because W 2, is comactly embedded into W,2, there is a subsequence of u n (denoted by u n ) and u W 2, (D(x, δ 2 )) such that lim n u n = u in W,2 (D(x, δ 2 )). So u n converges to u strongly in W,2 (D ) outside a finite set of oints. Under the assumtions in the theorems, by the standard blowu argument, i.e. rescalling u n suitable and reeated, we can obtain some nonnegative integer k. For any i =,..., k, there exist a oint x i n, a ositive number ri n and a nonconstant harmonic shere wi satisfying (), (2) and (3) of Theorem. By the standard induction argument in [2] we only need to rove the theorems in the case that there is only one bubble. 5
6 In this case we may assume that w is the strong limit of the sequence u n (x n +r n x) in W,2 Loc (R2 ). It does nothing to assume that x n = 0. Set w n (x) = u n (r n x). As the energy identity is equivalent to lim lim E(u n,d \ D δ ) = E(u,D ), δ 0 n lim lim lim E(u n,d δ \ D δ 0 n R rnr) = 0. (5) To rove the set u(d ) and w(r 2 ) is connected, it is enough to show that lim lim lim δ 0 n R su u n (x) u n (y) = 0. (6) x,y D δ \D rnr 3 Energy identity for the general target manifold In this section, we rove the energy identity for the general target manifold when 6 5. Assume that there is only one bubble w which is the strong limit of u n (r n ) in W,2 Loc (R2 ). Let ǫ N be the constant in Lemma 8. Furthermore, by the standard argument of blowu analysis we can assume that for any n, E(u n,d rn ) = By the argument in [2], we can show su E(u n,d(x,r)) = ǫ2 N rr n,d(x,r) D 4. (7) Lemma 9 ([2]) If τ(u n ) is bounded in L for some >, then the tangential energy on the neck domain equals to zero, i.e. lim δ 0 R n x 2 θ u 2 dx = 0. D δ \D rnr (8) Proof: The roof is the same as that in [2], we sketch it. For any ǫ > 0, take δ,r such that for any n, E(u,D 4δ ) + E(w,R 2 \ D R ) + δ 4( ) < ǫ 2. It is no matter to suose that r n R = 2 jn,δ = 2 j 0. When n is big enough, for any j 0 j j n, there holds (see [2]) E(u n,d 2 j \ D 2 j) < ǫ 2. For any j, set h n (2 j ) = 2π S u n (2 j,θ)dθ and h n (t) = h n (2 j ) + (h n (2 j ) h n (2 j )) ln(2j t) ln 2,t [2 j,2 j ]. It is easy to check that d 2 h n (t) dt 2 + t dh n (t) dt = 0,t [2 j,2 j ]. 6
7 Consider h n (x) = h n ( x ) as a ma from R 2 to R K, then h n = 0 in R 2. Set P j = D 2 j \D 2 j we have (u n h n ) = u n h n = u n = A(u n ) + τ(u n ),x P j. (9) Taking the inner roduct of this equation with u n h n and integrating over P j, we get that (u n h n ) 2 dx = P j (u n h n )(A(u n ) + τ(u n ))dx + P j (u n h n )(u n h n ) r ds. P j Note that by the definition, h n (2 j ) is the mean value of {2 j } S and (h n ) r is indeendent of θ. So the integral of (u n h n )(h n ) r on P j vanishes. When j 0 < j < j n, by Lemma 8 we have u n h n C 0 (P j ) u n h n (2 j ) C 0 (P j ) + u n h n (2 j ) C 0 (P j ) 2 u n Osc(Pj ) C( u n L 2 (P j P j P j+ ) + 2 2( )j τ(u n ) ) C(ǫ + 2 2( )j ) C(ǫ + δ 2( ) ) Cǫ. Summing j for j 0 < j < j n, we have (u n h n ) 2 dx = (u n h n ) 2 dx D δ \D 2rnR j 0 <j<j P j n u n h n ( A(u n ) + τ(u n ) )dx j 0 <j<j P j n + (u n h n )(u n h n ) r ds j 0 <j<j P j n Cǫ( ( u n 2 + τ(u n ) )dx + u n ds) D 2δ \D 2rnR D 2δ D 2rnR Cǫ( u n 2 dx + δ 2( ) + ǫ) D 2δ \D 2rnR Cǫ. (0) Here we use the inequality D 2δ D 2rnR u n ds Cǫ, which can be derived from the Sobolev trace embedding theorem. As h n (x) is indeendent of θ, it can be shown that x 2 θ u n 2 dx (u n h n ) 2 dx Cǫ. D 2δ \D 2rnR D 2δ \D 2rnR So this lemma is roved. It is left to show that the normal energy on the neck domain also equals to zero. We need the following Pohozaev equality which was first roved by LinWang [7]. 7
8 Lemma 0 (Pohozaev equality, [7], lemma 2.4, P374) Let u be a solution to then there holds u + A(u)(du,du) = τ(u), D t ( r u 2 r 2 θ u 2 )ds = 2 t As a direct corollary, integrating it over [0,δ] we have D δ ( r u 2 r 2 θ u 2 )dx = δ 0 D t τ (x u)dx. () 2 τ (x u)dxdt. (2) t D t Proof: Multilying both sides of the equation by x u and integrating it over D t, we get u 2 dx t r u 2 ds + x u 2 dx = τ (x u)dx. D t D t 2 D t D t Note that Hence, x u 2 dx = u 2 dx + t u 2 ds. 2 D t D t 2 D t D t ( r u 2 2 u 2 )ds = t As u 2 = r u 2 + r 2 θ u 2, we roved this lemma. D t τ (x u)dx. Now we use this equality to estimate the normal energy on the neck domain. We rove the following lemma. Lemma If τ(u n ) is bounded in L for some 6 5, then for δ small enough, there holds ( r u n 2 x 2 θ u 2 )dx Cδ D δ where C deends on, Λ, the target manifold N and the bubble w. Proof: Take ψ C 0 (D 2) satisfying that ψ = in D, then (ψu n ) = ψa(u n )(du n,du n ) + ψτ n + 2 ψ u n + u n ψ. Set g n = ψa(u n )(du n,du n ) + ψτ n + 2 ψ u n + u n ψ. When x <, xi y i i u n (x) = R i g n (x) = x y 2g n(y)dy. Let Φ n be the Newtonian otential of ψτ n, then Φ n = ψτ n. The corresonding Pohozaev equality is D δ ( r Φ n 2 r 2 θ Φ n 2 )dx = Here i Φ n (x) = R i (ψτ n )(x) = x i y i x y 2 (ψτ n )(y)dy. As τ n is bounded in L ( > ), there holds Φ n 2 dx Cδ 4( ) D δ Φ n δ 0 2 ψτ n (x Φ n )dxdt. (3) t D t Cδ 4( ) τ n 2 Cδ 4( ).
9 By (3), it can be shown that for any δ > 0, δ ψτ n (x Φ n )dxdt Φ n 2 dx Cδ 4( ). (4) 0 t D t D δ For δ small enough, we have ( r u n 2 r 2 θ u n 2 )dx D δ δ 2 = τ n (x u n )dxdt 0 t D t δ δ 2 τ n (x Φ n )dxdt + 2 xτ n (u n Φ n )(x) dxdt 0 t D t 0 t D t Cδ 4( ) δ + 2 xτ n (u n Φ n )(x) ( D δ x t dt)dx Cδ 4( ) + 2 τ n (u n Φ n )(x) x ln dx. (5) D δ x x For any j > 0, set ϕ j (x) = ψ( 2 2 j δ ) ψ( x 2 2 j δ ). When 2 j δ x < 2 j δ, we have xi y i i (u n Φ n )(x) = x y 2(g n(y) ψτ n (y))dy ψa(un )(du n,du n ) + 2 ψ u n + u n ψ (y) x y ψa(un )(y) dy + C ( u n + u n )(y)dy x y < y <2 ϕj A(u n )(y) (ψ ϕj )A(u n )(y) dy + dy + C x y x y ϕj A(u n )(y) A(un )(y) dy dy + + C x y x ϕj A(u n )(y) x y dy + C x. (6) When δ > 0 is small enough and n is big enough, for any j > 0 we claim that ϕ j A(u n ) C(2 j δ) 4( ) (7) 2 where the constant C deends only on, Λ, the bubble w and the target manifold N. Take δ > 0 and R(w) which deends on w such that E(u,D 8δ ) ǫ2 N 8 ; E(w,R2 \ D R(w) ) ǫ2 N 8. The standard blowu analysis (see [2]) show that for any j with 8r n R(w) 2 j δ and n big enough, there holds By (7), when 2 j δ < rn 6, there holds E(u n,d 2 4 j δ \ D 2 3 j δ) ǫ2 N 3. E(u n,d 2 4 j δ \ D 2 3 j δ) ǫ2 N 4. 9
10 So when 2 j δ < rn 6 or 2 j δ 8r n R(w), by Lemma 8, we have ϕ j A(u n ) 2 C u n 2 L 2 2 (D 2 3 j δ \D 2 2 j δ ) C u n u n,j 2 W 2, (D 2 3 j δ \D 2 2 j δ ) C[(2 j δ) 4( ) u n 2 L 2 (D 2 4 j δ \D 2 4 j δ ) + τ(u n) 2 ] C(2 j δ) 4( ) where u n,j is the mean of u n on D 2 3 j δ \ D 2 2 j δ. On the other hand, when rn 6 2 j δ 8r n R(w), we can find no more than CR(w) 2 balls with radius rn 2 to cover D 2 3 j δ \ D 2 2 j δ, i.e. D 2 3 j δ \ D 2 2 j δ m i= D(y i, r n 2 ). Denote B i = D(y i, rn 2 ) and 2B i = D(y i,r n ). By (7), for any i with i m there holds Using Lemma 8 we have ϕ j A(u n ) 2 E(u n,2b i ) ǫ2 N 4. C u n 2 L C( u n i= 2 2 (D 2 3 j δ \D 2 2 j δ ) L 2 (B i ) ) 2 C u n 2 2 i= L2 (B i ) C u n u n,i 2 W 2, (B i ) C i= i= ((r n ) 4( ) u n 2 L 2 (2B i ) + τ(u n) 2 ) Cm((2 j δ) 4( ) + ) C(2 j δ) 4( ) where u n,i is the mean of u n over B i and the constant C deends only on, Λ, the bubble w and the target manifold N. So we roved the claim (7). By (6) and (7), when > we get that τ n (u n Φ n )(x) x ln D δ x dx 2 j δ< x <2 j δ C 2 j δ< x <2 j δ τ n (u n Φ n )(x) x ln x dx τ n ( x + ϕj A(u n )(y) dy) x ln x y x dx 0
11 C( τ n ln D δ x dx + τ n ( 2 j δ< x <2 j δ C( ln + 2 j δ ln 2j L (D δ ) δ ϕj A(u n )(y) y C(δ 2 (ln δ ) + ϕj A(u n )(y) x y dy) x ln x dx) dy ) τ n 2 j δ ln 2j δ ϕ ja(u n ) 2 ). (8) 3 2 Here we use the fact that the fraction integral oerator I(f) = f is bounded from Lq (R 2 ) to L 2q 2 q (R 2 ) for < q < 2. When 6 5, i.e. ϕ j A(u n ) From (8) and (9) we have 2, by (7) there holds C(2 j δ) 5 6 ϕ j A(u n ) C(2 j δ) 5 6 4( ) 2 τ n (u n Φ n )(x) x ln D δ x dx C(δ 2 (ln δ ) + 2 j δ ln 2j δ ϕ ja(u n ) 2 ) 3 2 C(δ + C(δ + δ 2( ) ln δ )) 2 j δ ln 2j δ (2 j δ) 2 ) C(2 j δ) 2. (9) Cδ. (20) It is clear that (5) and (20) imly that ( r u n 2 r 2 θ u n 2 )dx Cδ. (2) D δ Now we use these lemmas to rove the energy identity. Note that w is harmonic, from Lemma 0 we see that D R ( r w 2 r 2 θ w 2 )dx = 0 for any R > 0. It is easy to see that lim lim ( r u n 2 r 2 θ u n 2 )dx = lim ( r w 2 r 2 θ w 2 )dx = 0. R n D rnr R D R Letting δ 0 in (2), we obtain lim lim lim ( r u n 2 r 2 θ u n 2 )dx δ 0 R n D δ \D rnr lim lim ( r u n 2 r 2 θ u n 2 )dx + lim lim ( r u n 2 r 2 θ u n 2 )dx δ 0 n D δ R n D rnr = 0. Using Lemma 9 we obtain that the normal energy also vanishes on the neck domain. So the energy identity is roved.
12 4 Neckless for the general target manifold In this section we use the method in [] to rove the neckless during blowing u. For any ǫ > 0, take δ,r such that E(u,D 4δ ) + E(w,R 2 \ D R ) + δ 4( ) < ǫ 2. Suose r n R = 2 jn,δ = 2 j 0. When n is big enough, the standard blowu analysis show that for any j 0 j j n, 2π E(u n,d 2 j \ D 2 j) < ǫ 2. For any j 0 < j < j n, set L j = min{j j 0,j n j}. Now we estimate the norm u n L 2 (P j ). Denote P j,t = D 2 t j \ D 2 t j and take h n,j,t similar to h n in the last section but h n,j,t (2 ±t j ) = S u n(2 ±t j,θ)dθ. By an argument similar to the one used in deriving (0), we have, for any 0 < t L j, r 2 θ u n 2 dx Cǫ( P j,t P j,t u n 2 dx + (2 t j ) 2( ) ) + Set f j (t) = P j,t u n 2 dx, a simle comutation shows that f j (t) = ln 2(2t j u n 2 ds + 2 t j {2 t j } S P j,t u n h n,j,t u n ds. (22) {2 t j } S u n 2 ds). As h n,j,t is indeendent of θ and h n,j,t is the mean value of u n at the two comonents of P j,t, by Poincaré inequality we get P j,t u n h n,j,t u n ds = ( u n h n,j,t u n ds {2 t j } S + u n h n,j,t u n ds {2 t j } S u n h n,j,t 2 ds) 2 ( u n 2 ds) 2 {2 t j } S {2 t j } S +( u n h n,j,t 2 ds) 2( u n 2 ds) 2 {2 t j } S {2 t j } S C(2 t j u n 2 ds + 2 t j u n 2 ds) {2 t j } S {2 t j } S Cf j(t). On the other hand, by a similar argument as we did in obtaining (2), we have ( r u n 2 r 2 θ u n 2 )dx C((2 t j ) + (2 t j ) ) C(2 t j ). (23) P j,t Since u 2 = r u 2 +r 2 θ u 2 = 2r 2 θ u 2 +( r u 2 r 2 θ u 2 ), by (22) and (23) we have f j (t) 2 r 2 θ u n dx + P j,t ( r u n 2 r 2 θ u n 2 )dx P j,t Cǫ(f j (t) + (2 t j ) 2( ) ) + Cf j (t) + C(2t j ) C(ǫf j (t) + 2 ( )j 2 ( )t + f j(t)). 2
13 Take ǫ small enough and denote ǫ = ln 2, then for some ositive constant C big enough there holds f j (t) C f j(t) + Ce ǫj e ǫt 0. It is no matter to assume that ǫ > C, then we have Integrating this inequality over [2,L j ], we get f j (2) C(e L j C f j (L j ) + e ǫj Lj Note that j L j, there holds (e t C f j (t)) + Ce ǫj e (ǫ C )t 0. e (ǫ C )t dt) C(e L j C f j (L j ) + e ǫj e (ǫ C )L j ). f j (2) C(e L j C fj (L j ) + e j C ). Since the energy identity has been roved in the last section, we can take δ small such that the energy on the neck domain is less than ǫ 2 which imlies that f j (L j ) < ǫ 2. So we get f j (2) C(e L j C ǫ 2 + e j C ). Using Lemma 8 on the domain P j = D 2 j \ D 2 j when j < j n, we obtain u n Osc(Pj ) C( u n L 2 (P j P j P j+ ) + 2 2( )j τ(u n ) ) C(f j (2) + e 2ǫj ). Summing j from j 0 to j n we obtain that u n Osc(Dδ \D 2rnR ) j n j=j 0 u n Osc(Pj ) j n C (f j (2) + e 2ǫ j ) j=j 0 j n C (e L j C ǫ 2 + e j C + e 2ǫ j ) j=j 0 C( e i C ǫ 2 j + C ) i=0 C(ǫ 2 + e j 0 C ) C(ǫ 2 + δ C ). j=j 0 e Here we use the assumtion that ǫ > C. So we roved that there is no neck during the blowing u. 3
14 5 Energy identity for the shere The notations are the same as before. At first we give the estimate of L 2, norm of u n on the neck domain. Lemma 2 Suose that u is a ma from the unit disk D to N in W,2 (D,N) with τ(u) L for some >. Assume that ǫ > 0 is small enough, if r, δ satisfies D 2t \D t u 2 < ǫ 2 for any r < t < 4δ. Then we have u L 2, (D δ \D 4r ) = sua {x D δ \ D 4r : u(x) > a} 2 C(ǫ + δ 2( ) ) (24) a>0 where C only deends on u 2, τ(u) and the target manifold. Proof: Assume δ = 2 N r. Then for any i N + 2 there holds E(u,D 2 i r \ D 2 i r) < ǫ. Take ψ C0 (D x 2) satisfying that ψ = in D. Set θ i (x) = ψ( 2 i+2 r ) ψ( x 2 i 2 r ) and u i = u(x)dx D 2 i+3 \D r 2 i 2 r D 2 i+3 r \D 2 i 2 r, then For x D 2 i+ r \ D 2 i r, there holds (θ i (u u i )) = θ i u + 2 θ i u + (u u i ) θ i = θ i A(u) + θ i τ(u) + 2 θ i u + (u u i ) θ i. u(x) = (θ i (u u i ))(x) = R (θ i A(u) + θ i τ(u) + 2 θ i u + (u u i ) θ i )(x) R (θ i A(u))(x) + R (θ i τ(u))(x) + R (2 θ i u + (u u i ) θ i )(x) = I (x) + I 2 (x) + I 3 (x). By Sobolev inequality it can be shown that when x D 2 i+ r \ D 2 i r with i 2, I 3 (x) R(x y)(2 θ i u + (u u i ) θ i )(y) dy C (D 2 i+3 r \D 2 i+2 r ) (D 2 i r \D 2 i 2 r ) x y (2 i r u + 2 2i r 2 u u i )(y)dy C (2 i r) ((2 i r) u + (2 i r) 2 u u i )(y)dy D 2 i+3 r \D 2 i 2 r C(2 i r) 2 D 2 i+3 r \D 2 i 2 r u (y)dy C x E(u,D 2 i+3 r \ D 2 i 2 r) Cǫ x. (25) 4
15 As Riesz otential is bounded from L (R 2 ) to L 2, (R 2 ), we get that for any a > 0, So there holds {I (x) + I 2 (x) > a} Ca 2 I + I 2 2 L 2, (R 2 ) Ca 2 θ i ( A(u) + τ(u) ) 2 Ca 2 ( θ i ( u 2 + τ(u) )(x)dx) 2 Ca 2 (( θ i u(x) 2 dx) 2 + ( θ i τ(u)(x) dx) 2 ) Ca 2 (ǫ 2 θ i u 2 (x)dx + (2 i r) 4( ) ). = {x D δ \ D 4r : u(x) > 2a} N i=2 N i=2 N i=2 {x D 2 i+ r \ D 2 i r : u(x) > 2a} N {x D 2 i+ r \ D 2 i r : I (x) + I 2 (x) > a} + {I (x) + I 2 (x) > a} + {x D : Cǫ x > a} N Ca 2 i=2 Ca 2 (ǫ 2 (ǫ 2 N ( i=2 Ca 2 (ǫ 2 + δ 4( ) ). i=2 θ i u 2 (x)dx + (2 i r) 4( ) ) + Cǫ2 a 2 θ i ) u 2 (x)dx + +δ 4( ) + ǫ 2 ) {x D 2 i+ r \ D 2 i r : I 3 (x) > a} which imlies (24). holds Now we estimate the norm u n L 2, (D ). Take ψ C 0 (D 2) and ψ = in D, then there (ψu n ) = ψ u n + 2 u n ψ + u n ψ. Using the fact u n = we can rewrite the equation as u i n = u i n u j n 2 + τ i (u n ) = (u j n u i n u i n u j n) u j n + τ i (u n ). Set (F n ) i j = ψ(uj n u i n u i n u j n) and χ(x) = ψ( x 2 ), then we have (ψu n ) = F n u n + ψτ(u n ) + 2 u n ψ + u n ψ = F n (χu n ) + ψτ(u n ) + 2 u n ψ + u n ψ. Some direct comutations show that div(f n ) i j = ψ(uj n ui n ui n uj n ) + ψ(uj n ui n ui n uj n ) = ψ(u j nτ i (u n ) u i nτ j (u n )) + ψ(u j n u i n u i n u j n) C( τ(u n ) + u n ). (26) 5
16 Let G n be the Newtonian otential of (div F n ). As div F n C 0 (D 2), we have In R 2 there holds G n (x) = N (div F n ) = N div F n, div(f n G n ) = divf n div( N divf n ) = divf n div (N divf n ) = 0. So there exists H n such that F n G n = H n = ( 2 H n, H n ) The oerator N is the Riesz otential which is bounded from L (R 2 ) to L 2 2 (R 2 ), so by (26) when < < 2, it can be shown that G n 2 2 = N div F n 2 2 C div F n C( τ(u n ) L (D 2 ) + u n L 2 (D 2 )). (27) Set φ(x) = ψ( x 4 ). It is no matter to assume that D 4 H n = 0, then we have (φh n ) 2 C H n L 2 (D 4 ) C( F n L 2 (D 4 ) + G n L 2 (D 4 )) C( u n 2 + G n 2 ) 2 C( u n 2 + τ(u n ) ) C. (28) Set f n = ψτ(u n ) + 2 u n ψ + u n ψ + G n (χu n ), now we can obtain that (ψu n ) = F n (χu n ) G n (χu n ) + f n = H n (χu n ) + f n = (φh n ) (χu n ) + f n. (29) By (28) and Lemma 7 we get that (φh n ) (χu n ) H C (φh n ) 2 (χu n ) 2 C. (30) On the other hand, there holds f n = ψτ(u n ) + 2 u n ψ + u n ψ + G n (χu n ) C( τ(u n ) L (D 2 ) + u n L (D 2 ) + + G n (χu n ) ) C( + G n 2 (χu n ) 2 ) 2 C. (3) 6
17 Now from (29), (30) and (3) it follows that u n L 2, (D 2 ) (ψu n ) L 2, (φh n ) (χu n ) H + f n C. (32) For any ǫ > 0, take δ small such that E(u,D 4δ ) + δ 4( ) < ǫ 2 where u is the weak limit of u n in W,2 Loc (R2 ). The standard blowu arguments show that (see [2]) when n,r are big enough there holds for any r n R < t < 4δ. By Lemma 2 we have D 2t \D t u n 2 < Cǫ 2 u n L 2, (D δ \D 4rnR ) C(ǫ + δ 2( ) ) Cǫ. Using (32) and the duality between the L 2, and L 2, we obtain that u n L 2 (D δ \D 4rn ) C( u n L 2, u n L 2, (D δ \D 4rnR )) 2 C ǫ which yields the energy identity. 6 Neckless for the shere As the energy identity is true for this case, for any ǫ > 0, there exists δ such that E(u n,d 4δ \ D rnr) < ǫ 2 when n,r are big enough. For simlicity suose that D 4rnR \D 2rnR u n (x) = 0. Take ψ C 0 (D 2) satisfying that ψ = in D. Set ψ r (x) = ψ( x r );ϕ n = ψ δ ψ 2rnR. Using the similar arguments in the last section, it can be shown that (ϕ n u i n) = ϕ n u i n + 2 u i n ϕ n + u i n ϕ n = ϕ n ( u i n u j n 2 + τ i (u n )) + 2 u i n ϕ n + u i n ϕ n m = ϕ n (u j n u i n u i n u j n) u j n + 2 u i n ϕ n + u i n ϕ n + ϕ n τ i (u n )) = m (u j n ui n ui n uj n ) (ϕ nu j n ) (u j n ui n ui n uj n )uj n ϕ n +2 u i n ϕ n + u i n ϕ n + ϕ n τ i (u n ) 7
18 = = (u j n u i n u i n u j n) (ϕ n u j n) (u j n) 2 u i n ϕ n +u i n ϕ n (u j n )2 + 2 u i n ϕ n + u i n ϕ n + ϕ n τ i (u n ) (u j n u i n u i n u j n) (ϕ n u j n) u i n ϕ n +2 u i n ϕ n + u i n ϕ n + ϕ n τ i (u n ) m = ψ 2δ (u j n ui n ui n uj n ) (ϕ nu j n ) + div(ui n ϕ n) + ϕ n τ i (u n ). (33) In the last equality we use the fact ψ 2δ = in the suort of ϕ n. Set (F n ) i j = ψ 2δ(u j n ui n ui n uj n ), some simle comutations show that div(f n ) i j = ψ 2δ(u j n ui n ui n uj n ) + ψ 2δ(u j n ui n ui n uj n ) It is easy to check that divf n C( τ(u n ) + δ 2( ) ( = ψ 2δ (u j nτ i (u n ) u i nτ j (u n )) + ψ 2δ (u j n u i n u i n u j n) C( τ(u n ) χ D4δ + u n χ δ D4δ \D 2δ ). (34) Let G n be the Newtonian otential of (divf n ), then D 4δ \D 2δ u n 2 dx) 2 ) C( + δ 2( ) ǫ). div(f n G n ) = divf n divn (div F n ) = divf n div (N div F n ) = 0. So there exists H n such that F n G n = H n = ( 2 H n, H n ). By the same argument as we derived (27), we have, for < < 2, G n 2 2 = N div F n 2 2 As a direct consequence there holds Set a n = G n L 2 (D 4δ ) Cδ 2( ) G n 2 2 D 2rnR \D rnr H n(x)dx D 2rnR \D rnr,b n = C div F n C( + δ 2( ) ǫ). (35) Cδ 2( ) D 4δ \D 2δ H n(x)dx D 4δ \D 2δ and L n = ψ 2δ ( ψ rnr)(h n a n ) ψ 2δ (b n a n ). As ψ 2δ ( ψ rnr) =, ψ 2δ = 0 in the suort of ϕ n, there holds L n (ϕ n u n ) = L n (ϕ n u n ) ( + δ 2( ) ǫ) C(δ 2( ) + ǫ). (36) = (ψ 2δ ( ψ rnr)(h n a n ) ψ 2δ (b n a n )) (ϕ n u n ) = ((H n a n ) (ψ 2δ ( ψ rnr)) + (ψ 2δ ( ψ rnr)) (H n a n ) (b n a n ) ψ 2δ ) (ϕ n u n ) = H n (ϕ n u n ) = H n (ϕ n u n ). 8
19 So from (33) we can get that (ϕ n u n ) = F n (ϕ n u n ) + div(u n ϕ n ) + ϕ n τ(u n ) = (F n G n ) (ϕ n u n ) + G n (ϕ n u n ) + div(u n ϕ n ) + ϕ n τ(u n ) = H n (ϕ n u n ) + G n (ϕ n u n ) + div(u n ϕ n ) + ϕ n τ(u n ) = L n (ϕ n u n ) + G n (ϕ n u n ) + div(u n ϕ n ) + ϕ n τ(u n ). (37) By the definition of L n,a n,b n, (36) and Poincaré inequality, there holds that L n 2 = [ψ 2δ ( ψ rnr)(h n a n ) ψ 2δ (b n a n )] 2 = ψ 2δ ( ψ rnr) H n + (H n a n )( ψ 2δ ψ rnr) (b n a n ) ψ 2δ 2 = ψ 2δ ( ψ rnr) H n + (H n b n ) ψ 2δ (H n a n ) ψ rnr 2 C( H n L 2 (D 4δ \D rnr ) + H n L 2 (D 4δ \D 2δ ) + H n L 2 (D 2rnR \D rnr )) C H n L 2 (D 4δ \D rnr ) C( F n L 2 (D 4δ \D rnr ) + G n L 2 (D 4δ )) C( u n L 2 (D 4δ \D rnr ) + ǫ + δ 2( ) ) C(ǫ + δ 2( ) ). (38) Take t small enough, we estimate the L 2, norm of u n in D tδ \ D 8rnR. From (37) we know i (ϕ n u n ) = R i (ϕ n u n ) Here R i is the Riesz otential. = R i ( L n (ϕ n u n )) + R i (G n (ϕ n u n ) + ϕ n τ(u n )) + R i div(u n ϕ n ) = R i ( L n (ϕ n u n )) + R i (G n (ϕ n u n ) + ϕ n τ(u n )) +R i div(u n ψ δ ) R i div(u n ψ 2rnR). (39) For the first term, by (38), Lemma 5 and Lemma 7, we have Here we use the fact (ϕ n u n ) 2 C. R i ( L n (ϕ n u n )) L 2, C L n (ϕ n u n ) H C L n 2 (ϕ n u n ) 2 C(ǫ + δ 2( ) ). (40) For the second term, as Riesz otential is bounded from L (R 2 ) to L 2 2 (R 2 ), by Lemma 3 and (35) we can get that 9
20 R i (G n (ϕ n u n ) + ϕ n τ(u n )) L 2, (D δ ) Cδ 2( ) R i (G n (ϕ n u n ) + ϕ n τ(u n )) Cδ 2( ) G n (ϕ n u n ) + ϕ n τ(u n )) 2 L 2 Cδ 2( ) ( G n 2 (ϕ n u n ) 2 + τ(u n )) ) 2 Cδ 2( ) ( + δ 2( ) ǫ + ) C(ǫ + δ 2( ) ). (4) For the third term, when x < δ 2, direct comutations show that R i div(u n ψ δ )(x) x i y i = R 2 x y 2div(u n ψ δ )(y)dy div(u n ψ δ )(y) C dy D 2δ \D δ x y C δ which imlies that R i div(u n ψ δ ) L 2, (D tδ ) Ct. (42) Using the assumtion that D 4rnR \D 2rnR u n (x) = 0, by Sobolev inequality, we have div(u n ψ 2rnR)(y) dy C( ((r n R) u n + (r n R) 2 u n )dx) D 4rnR \D 2rnR C( u n 2 dx) 2 Cǫ. D 4rnR \D 2rnR As R 2 div(u n ψ 2rnR)dy = 0, when x > 8r n R, the last term can be estimated as R i div(u n ψ 2rnR)(x) x i y i = R 2 x y 2div(u n ψ 2rnR)(y)dy = ( x i y i x y 2 x i x 2)div(u n ψ 2rnR)(y)dy x i y i D 4rnR \D 2rnR x y 2 x i x 2 div(u n ψ 2rnR)(y) dy Cr nr x 2 div(u n ψ 2rnR)(y) dy D 4rnR \D 2rnR Cr nrǫ x 2. So it can be shown that R i div(u n ψ 2rnR) L 2, (R 2 \D 8rnR ) Cr n Rǫ Cr n Rǫ x >8r nr 8r nr x 2( x 2 (8r n R) 2 ) 2dx t 3 2 (t 8rn R) 2 dt Cǫ. (43) 20
21 From (40), (4), (42) and (43) we can obtain that u n L 2, (D tδ \D 8rnR ) = (ϕ n u n ) L 2, (D tδ \D 8rnR ) C(ǫ + δ 2( ) + t). (44) Take t,δ small enough, we can show that there is no neck during blowing u. References [] R. Coifman; P. L. Lions; Y. Meyer; S. Semmes, Comacité ar comensation et esaces de Hardy. (French) [Comensated comactness and Hardy saces.] C. R. Acad. Sci. Paris Sér. I Math. 309 (989), no. 8, [2] W. Ding; G. Tian, Energy identity for a class of aroximate harmonic mas from surfaces. Comm. Anal. Geom. 3 (995), no. 34, [3] J. Eells; L. Lemaire, A reort on harmonic mas. Bull. London Math. Soc. 0 (978), no., 68. [4] J. Eells; L. Lemaire, Another reort on harmonic mas. Bull. London Math. Soc. 20 (988), no. 5, [5] F. Hélein, Harmonic mas, conservation laws and moving frames (English summary). Cambridge Tracts in Mathematics, 50. Cambridge University Press, Cambridge, [6] J. Jost, Twodimensional geometric variational roblems. Proceedings of the ICM, Vol., 2 (986), Amer. Math. Soc., Providence, RI, 987. [7] F. Lin; C. Wang, Energy identity of harmonic ma flows from surfaces at finite singular time. Calc. Var. PDE. 6 (998), no. 4, [8] F. Lin; C. Wang, Harmonic and quasiharmonic sheres. II. Comm. Anal. Geom. 0 (2002), no. 2, [9] T. Parker, Bubble tree convergence for harmonic mas. J. Differential Geom. 44 (996), no. 3, [0] J. Qing, On singularities of the heat flow for harmonic mas from surfaces into sheres. Comm. Anal. Geom. 3 (995), no. 2, [] J. Qing; G. Tian, Bubbling of the heat flows for harmonic mas from surfaces. Comm. Pure Al. Math. 50 (997), no. 4, [2] T. Riviére, Conservation laws for conformally invariant variational roblems. Invent. Math. 68 (2007), no., 22. 2
Energy identity for a class of approximate biharmonic maps into sphere in dimension four
Energy identity for a class of approximate biharmonic maps into sphere in dimension four Changyou Wang Shenzhou Zheng Abstract We consider in dimension four weakly convergent sequences of approximate biharmonic
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationEXISTENCE AND NONEXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION
Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7669. UL: http://ejde.math.txstate.edu
More informationLecture 21 and 22: The Prime Number Theorem
Lecture and : The Prime Number Theorem (New lecture, not in Tet) The location of rime numbers is a central question in number theory. Around 88, Legendre offered eerimental evidence that the number π()
More informationHOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES
HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness
More informationStochastic Derivation of an Integral Equation for Probability Generating Functions
Journal of Informatics and Mathematical Sciences Volume 5 (2013), Number 3,. 157 163 RGN Publications htt://www.rgnublications.com Stochastic Derivation of an Integral Equation for Probability Generating
More informationMATH 425, PRACTICE FINAL EXAM SOLUTIONS.
MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator
More informationPRIME NUMBERS AND THE RIEMANN HYPOTHESIS
PRIME NUMBERS AND THE RIEMANN HYPOTHESIS CARL ERICKSON This minicourse has two main goals. The first is to carefully define the Riemann zeta function and exlain how it is connected with the rime numbers.
More informationCourse 221: Analysis Academic year , First Semester
Course 221: Analysis Academic year 200708, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................
More informationTail inequalities for order statistics of logconcave vectors and applications
Tail inequalities for order statistics of logconcave vectors and applications Rafał Latała Based in part on a joint work with R.Adamczak, A.E.Litvak, A.Pajor and N.TomczakJaegermann Banff, May 2011 Basic
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationFurther Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1
Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing
More informationDISTRIBUTIONS AND FOURIER TRANSFORM
DISTRIBUTIONS AND FOURIER TRANSFORM MIKKO SALO Introduction. The theory of distributions, or generalized functions, provides a unified framework for performing standard calculus operations on nonsmooth
More informationAbout the inverse football pool problem for 9 games 1
Seventh International Workshop on Optimal Codes and Related Topics September 61, 013, Albena, Bulgaria pp. 15133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute
More informationLipschitz classes of Aharmonic functions in Carnot groups
Lipschitz classes of Aharmonic functions in Carnot groups Craig A. Nolder Department of Mathematics Florida State University Tallahassee, FL 323064510, USA nolder@math.fsu.edu 30 October 2005 Abstract
More informationMATH 461: Fourier Series and Boundary Value Problems
MATH 461: Fourier Series and Boundary Value Problems Chapter III: Fourier Series Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2015 fasshauer@iit.edu MATH 461 Chapter
More informationON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE
i93 c J SYSTEMS OF CURVES 695 ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE BY C H. ROWE. Introduction. A system of co 2 curves having been given on a surface, let us consider a variable curvilinear
More informationRecall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula:
Chapter 7 Div, grad, and curl 7.1 The operator and the gradient: Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula: ( ϕ ϕ =, ϕ,..., ϕ. (7.1 x 1
More informationRieszFredhölm Theory
RieszFredhölm Theory T. Muthukumar tmk@iitk.ac.in Contents 1 Introduction 1 2 Integral Operators 1 3 Compact Operators 7 4 Fredhölm Alternative 14 Appendices 18 A AscoliArzelá Result 18 B Normed Spaces
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationChapter 3. Special Techniques for Calculating Potentials. r ( r ' )dt ' ( ) 2
Chater 3. Secial Techniues for Calculating Potentials Given a stationary charge distribution r( r ) we can, in rincile, calculate the electric field: E ( r ) Ú Dˆ r Dr r ( r ' )dt ' 2 where Dr r 'r. This
More informationQuasistatic evolution and congested transport
Quasistatic evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed
More informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES  CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x
More informationFourier Analysis of Stochastic Processes
Fourier Analysis of Stochastic Processes. Time series Given a discrete time rocess ( n ) nz, with n :! R or n :! C 8n Z, we de ne time series a realization of the rocess, that is to say a series (x n )
More information3.1. Sequences and Their Limits Definition (3.1.1). A sequence of real numbers (or a sequence in R) is a function from N into R.
CHAPTER 3 Sequences and Series 3.. Sequences and Their Limits Definition (3..). A sequence of real numbers (or a sequence in R) is a function from N into R. Notation. () The values of X : N! R are denoted
More informationChapter 4 Expected Values
Chapter 4 Expected Values 4. The Expected Value of a Random Variables Definition. Let X be a random variable having a pdf f(x). Also, suppose the the following conditions are satisfied: x f(x) converges
More informationSeries Convergence Tests Math 122 Calculus III D Joyce, Fall 2012
Some series converge, some diverge. Series Convergence Tests Math 22 Calculus III D Joyce, Fall 202 Geometric series. We ve already looked at these. We know when a geometric series converges and what it
More informationMath 5330 Spring Notes Prime Numbers
Math 5330 Sring 206 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating
More informationLarge Sample Theory. Consider a sequence of random variables Z 1, Z 2,..., Z n. Convergence in probability: Z n
Large Samle Theory In statistics, we are interested in the roerties of articular random variables (or estimators ), which are functions of our data. In ymtotic analysis, we focus on describing the roerties
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More informationA Modified Measure of Covert Network Performance
A Modified Measure of Covert Network Performance LYNNE L DOTY Marist College Deartment of Mathematics Poughkeesie, NY UNITED STATES lynnedoty@maristedu Abstract: In a covert network the need for secrecy
More informationSome remarks on PhragménLindelöf theorems for weak solutions of the stationary Schrödinger operator
Wan Boundary Value Problems (2015) 2015:239 DOI 10.1186/s1366101505080 R E S E A R C H Open Access Some remarks on PhragménLindelöf theorems for weak solutions of the stationary Schrödinger operator
More information61. REARRANGEMENTS 119
61. REARRANGEMENTS 119 61. Rearrangements Here the difference between conditionally and absolutely convergent series is further refined through the concept of rearrangement. Definition 15. (Rearrangement)
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More information1 Gambler s Ruin Problem
Coyright c 2009 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins
More information( ) ( ) [2],[3],[4],[5],[6],[7]
( ) ( ) Lebesgue Takagi,  []., [2],[3],[4],[5],[6],[7].,. [] M. Hata and M. Yamaguti, The Takagi function and its generalization, Japan J. Appl. Math., (984), 83 99. [2] T. Sekiguchi and Y. Shiota, A
More informationAn optimal transportation problem with import/export taxes on the boundary
An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint
More informationUNIVERSITETET I OSLO
NIVERSITETET I OSLO Det matematisknaturvitenskapelige fakultet Examination in: Trial exam Partial differential equations and Sobolev spaces I. Day of examination: November 18. 2009. Examination hours:
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 4: Fourier Series and L 2 ([ π, π], µ) ( 1 π
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 4: Fourier Series and L ([, π], µ) Square Integrable Functions Definition. Let f : [, π] R be measurable. We say that f
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationAssignment 9; Due Friday, March 17
Assignment 9; Due Friday, March 17 24.4b: A icture of this set is shown below. Note that the set only contains oints on the lines; internal oints are missing. Below are choices for U and V. Notice that
More informationNumerical Solutions to Differential Equations
Numerical Solutions to Differential Equations Lecture Notes The Finite Element Method #2 Peter Blomgren, blomgren.peter@gmail.com Department of Mathematics and Statistics Dynamical Systems Group Computational
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More information6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks
6.042/8.062J Mathematics for Comuter Science December 2, 2006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Random Walks Gambler s Ruin Today we re going to talk about onedimensional random walks. In
More informationA MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASEFIELD MODEL WITH MEMORY
Guidetti, D. and Lorenzi, A. Osaka J. Math. 44 (27), 579 613 A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASEFIELD MODEL WITH MEMORY DAVIDE GUIDETTI and ALFREDO LORENZI (Received January 23, 26,
More information6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )
6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a nonempty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points
More informationFourier Series. Chapter Some Properties of Functions Goal Preliminary Remarks
Chapter 3 Fourier Series 3.1 Some Properties of Functions 3.1.1 Goal We review some results about functions which play an important role in the development of the theory of Fourier series. These results
More informationDoubling inequalities for the Lamé system with rough coefficients
Doubling inequalities for the Lamé system with rough coefficients Herbert Koch ChingLung Lin JennNan Wang Abstract In this paper we study the local behavior of a solution to the Lamé system when the
More information2 Complex Functions and the CauchyRiemann Equations
2 Complex Functions and the CauchyRiemann Equations 2.1 Complex functions In onevariable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationNotes on weak convergence (MAT Spring 2006)
Notes on weak convergence (MAT4380  Spring 2006) Kenneth H. Karlsen (CMA) February 2, 2006 1 Weak convergence In what follows, let denote an open, bounded, smooth subset of R N with N 2. We assume 1 p
More informationHow to minimize without knowing how to differentiate (in Riemannian geometry)
How to minimize without knowing how to differentiate (in Riemannian geometry) Spiro Karigiannis karigiannis@maths.ox.ac.uk Mathematical Institute, University of Oxford Calibrated Geometries and Special
More informationANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 6, November 1973 ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BY YUMTONG SIU 2 Communicated
More informationA 60,000 DIGIT PRIME NUMBER OF THE FORM x 2 + x Introduction StarkHeegner Theorem. Let d > 0 be a squarefree integer then Q( d) has
A 60,000 DIGIT PRIME NUMBER OF THE FORM x + x + 4. Introduction.. Euler s olynomial. Euler observed that f(x) = x + x + 4 takes on rime values for 0 x 39. Even after this oint f(x) takes on a high frequency
More informationTHE SQUARE PARTIAL SUMS OF THE FOURIER TRANSFORM OF RADIAL FUNCTIONS IN THREE DIMENSIONS
Scientiae Mathematicae Japonicae Online, Vol. 5,, 9 9 9 THE SQUARE PARTIAL SUMS OF THE FOURIER TRANSFORM OF RADIAL FUNCTIONS IN THREE DIMENSIONS CHIKAKO HARADA AND EIICHI NAKAI Received May 4, ; revised
More information2 n = n=1 a n is convergent and we let. i=1
Lecture 4 : Series So far our definition of a sum of numbers applies only to adding a finite set of numbers. We can extend this to a definition of a sum of an infinite set of numbers in much the same way
More informationA Simple Proof of Duality Theorem for MongeKantorovich Problem
A Simple Proof of Duality Theorem for MongeKantorovich Problem Toshio Mikami Hokkaido University December 14, 2004 Abstract We give a simple proof of the duality theorem for the Monge Kantorovich problem
More informationL p regularity for elliptic operators with unbounded coefficients
L regularity for ellitic oerators with unbounded coefficients G. Metafune J. Prüss A. Rhandi R. Schnaubelt Abstract Under suitable conditions on the functions a C 1, ), F C 1, ), and V : [0, ), we show
More informationTaylor Series and Asymptotic Expansions
Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationTHE ROTATION INDEX OF A PLANE CURVE
THE ROTATION INDEX OF A PLANE CURVE AARON W. BROWN AND LORING W. TU The rotation index of a smooth closed lane curve C is the number of comlete rotations that a tangent vector to the curve makes as it
More informationIn memory of Lars Hörmander
ON HÖRMANDER S SOLUTION OF THE EQUATION. I HAAKAN HEDENMALM ABSTRAT. We explain how Hörmander s classical solution of the equation in the plane with a weight which permits growth near infinity carries
More informationApplications of Fourier series
Chapter Applications of Fourier series One of the applications of Fourier series is the evaluation of certain infinite sums. For example, n= n,, are computed in Chapter (see for example, Remark.4.). n=
More informationSharp counterexamples in unique continuation for second order elliptic equations
Sharp counterexamples in unique continuation for second order elliptic equations Herbert Koch Institut für Angewandte Mathemati Universität Heidelberg Daniel Tataru Department of Mathematics Northwestern
More informationON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZPÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationA simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
More informationCRITICAL EXPONENTS FOR A DOUBLY DEGENERATE PARABOLIC SYSTEM COUPLED VIA NONLINEAR BOUNDARY FLUX
J. Korean Math. Soc. 48 (0) No. 3. 53 57 DOI 0.434/JKMS.0.48.3.53 CRITICAL EXPONENTS FOR A DOUBLY DEGENERATE PARABOLIC SYSTEM COUPLED VIA NONLINEAR BOUNDARY FLUX Yongsheng Mi Chunlai Mu Botao Chen Abstract.
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More information) + ˆf (n) sin( 2πnt. = 2 u x 2, t > 0, 0 < x < 1. u(0, t) = u(1, t) = 0, t 0. (x, 0) = 0 0 < x < 1.
Introduction to Fourier analysis This semester, we re going to study various aspects of Fourier analysis. In particular, we ll spend some time reviewing and strengthening the results from Math 425 on Fourier
More informationA STABILITY RESULT ON MUCKENHOUPT S WEIGHTS
Publicacions Matemàtiques, Vol 42 (998), 53 63. A STABILITY RESULT ON MUCKENHOUPT S WEIGHTS Juha Kinnunen Abstract We prove that Muckenhoupt s A weights satisfy a reverse Hölder inequality with an explicit
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationThin Layers in Micromagnetism
Thin Layers in Micromagnetism Gilles Carbou Mathématiques Appliquées de Bordeaux, CNRS ERS 23 et Université Bordeaux, 35 cours de la libération, 33405 Talence cedex, France. Abstract  In this paper we
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationUniversiteitUtrecht. Department. of Mathematics. Optimal a priori error bounds for the. RayleighRitz method
UniversiteitUtrecht * Deartment of Mathematics Otimal a riori error bounds for the RayleighRitz method by Gerard L.G. Sleijen, Jaser van den Eshof, and Paul Smit Prerint nr. 1160 Setember, 2000 OPTIMAL
More informationThe BlackScholesMerton Approach to Pricing Options
he BlackScholesMerton Approach to Pricing Options Paul J Atzberger Comments should be sent to: atzberg@mathucsbedu Introduction In this article we shall discuss the BlackScholesMerton approach to determining
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More information16.1. Sequences and Series. Introduction. Prerequisites. Learning Outcomes. Learning Style
Sequences and Series 16.1 Introduction In this block we develop the ground work for later blocks on infinite series and on power series. We begin with simple sequences of numbers and with finite series
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationMonotone maps of R n are quasiconformal
Monotone maps of R n are quasiconformal K. Astala, T. Iwaniec and G. Martin For Neil Trudinger Abstract We give a new and completely elementary proof showing that a δ monotone mapping of R n, n is K quasiconformal
More informationPROPERTIES OF SOME NEW SEMINORMED SEQUENCE SPACES DEFINED BY A MODULUS FUNCTION
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume L, Number 3, September 2005 PROPERTIES OF SOME NEW SEMINORMED SEQUENCE SPACES DEFINED BY A MODULUS FUNCTION YAVUZ ALTIN AYŞEGÜL GÖKHAN HIFSI ALTINOK Abstract.
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationERDŐS SZEKERES THEOREM WITH FORBIDDEN ORDER TYPES. II
ERDŐS SEKERES THEOREM WITH FORBIDDEN ORDER TYPES. II GYULA KÁROLYI Institute of Mathematics, Eötvös University, Pázmány P. sétány /C, Budaest, H 7 Hungary GÉA TÓTH Alfréd Rényi Institute of Mathematics,
More informationCONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian. Pasquale Candito and Giuseppina D Aguí
Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian Pasquale
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationSharing three values with small weights
Hokkaido Mathematical Journal Vol. 36 (2007) p. 129 142 Sharing three values with small weights Indrajit Lahiri (Received September 2, 2005) Abstract. We prove a uniqueness theorem for meromorphic functions
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000
More informationPETER HÄSTÖ, RIKU KLÉN, SWADESH KUMAR SAHOO, AND MATTI VUORINEN
GEOMETRIC PROPERTIES OF ϕuniform DOMAINS PETER HÄSTÖ, RIKU KLÉN, SWADESH KUMAR SAHOO, AND MATTI VUORINEN Abstract. We consider proper subdomains G of R n and their images G = f(g) under quasiconformal
More informationTHE RICCI FLOW ON RADIALLY SYMMETRIC R 3. Thomas A. Ivey. Department of Mathematics UC San Diego La Jolla CA
THE RICCI FLOW ON RADIALLY SYMMETRIC R 3 Thomas A. Ivey Department of Mathematics UC San Diego La Jolla CA 920930112 tivey@euclid.ucsd.edu Introduction The Ricci flow g/ t = 2Ric(g) is a way of evolving
More informationSequences and Series
Contents 6 Sequences and Series 6. Sequences and Series 6. Infinite Series 3 6.3 The Binomial Series 6 6.4 Power Series 3 6.5 Maclaurin and Taylor Series 40 Learning outcomes In this Workbook you will
More information5. Convergence of sequences of random variables
5. Convergence of sequences of random variables Throughout this chapter we assume that {X, X 2,...} is a sequence of r.v. and X is a r.v., and all of them are defined on the same probability space (Ω,
More informationQuasi Contraction and Fixed Points
Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa00168, 6 Pages doi:10.5899/2012/jnaa00168 Research Article Quasi Contraction and Fixed Points Mehdi Roohi 1, Mohsen Alimohammady
More information4. Complex integration: Cauchy integral theorem and Cauchy integral formulas. Definite integral of a complexvalued function of a real variable
4. Complex integration: Cauchy integral theorem and Cauchy integral formulas Definite integral of a complexvalued function of a real variable Consider a complex valued function f(t) of a real variable
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More information1 Introduction. Bertrand Maillot. Abstract
Conditional density estimation for continuous time processes with values in functional spaces, with applications to the conditional mode and the regression function estimators Bertrand Maillot Abstract
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationON NONNEGATIVE SOLUTIONS OF NONLINEAR TWOPOINT BOUNDARY VALUE PROBLEMS FOR TWODIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS
ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWOPOINT BOUNDARY VALUE PROBLEMS FOR TWODIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS I. KIGURADZE AND N. PARTSVANIA A. Razmadze Mathematical Institute
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More information