Locating the first nodal set in higher dimensions
|
|
- Mildred Lewis
- 5 years ago
- Views:
Transcription
1 Locting the first nodl set in higher dimensions Sunhi Choi, Dvid Jerison nd Inwon Kim My 5, 26 Abstrct We extend the two dimensionl results of Jerison [J1] on the loction of the nodl set of the first Neumnn eigenfunction of convex domin to higher dimensions. If convex domin is contined in long nd thin cylinder [, N] B ɛ () with nonempty intersections with {x 1 = } nd {x 1 = N}, then the first nonzero eigenvlue is well pproximted by the eigenvlue of n ordinry differentil eqution, by bound proportionl to ɛ, whose coefficients re expressed in terms of the volume of the cross sections of the domin. Also, the first nodl set is locted within distnce comprble to ɛ ner the zero of the corresponding ordinry differentil eqution. 1 introduction Let be bounded convex domin in IR n. Let u be n eigenfunction for ssocited with the smllest nonzero eigenvlue λ of the Neumnn problem for, tht is, u = λu in, u ν = on (1) where u ν = ν u nd ν denotes the outer norml unit vector t ech point on. The purpose of this pper is to locte the first nodl set Λ = {u = } nd to estimte the first nonzero eigenvlue λ. We show tht Λ is ner the unique zero of the first nonconstnt eigenfunction of certin ordinry differentil eqution to within distnce comprble to the smllest dimeter of projections of onto hyperplnes. Also we estimte the difference between λ nd the first nonzero eigenvlue of the ordinry differentil eqution by bound proportionl to the rtio of the smllest dimeter of projection of the domin to the dimeter of the domin. This pper extends the twodimensionl results of Jerison [J1] to higher dimensions, but the methods presented in this pper re different from the methods used in [J1]. 1
2 In 2-dimensions, the loction of the first nodl set is estimted in [J1] by constructing suitble coordinte system on nd the corresponding ODE whose coefficients re expressed in terms of the width of the domin. From the bound on the loction of the nodl set, the bound on the difference between the first nonzero eigenvlues is obtined for the originl PDE nd for the corresponding ODE. In this pper, we first estimte the difference between the first nonzero eigenvlues, using shrp results of Kröger nd Kdlec which provide bounds on the first nd second derivtives of eigenfunctions of. Bsed on these estimtes we then re ble to find the bound on the width of the first nodl set. Once we prove tht the nodl set is thin, we re ble to locte the nodl set ner the zero of the corresponding ordinry differentil eqution. Assume {(x 1, x ) : x 1 [, N], x < ɛ} IR n, is convex (2) nd suppose further tht (s) := {x 1 = s} is nonempty for < s < N. (3) Let u be the first nonconstnt eigenfunction for. Denote by φ 1 the first nonconstnt eigenfunction with the smllest nonzero eigenvlue µ 1 for the Neumnn problem on [, N] given by (wφ 1) = µ 1 wφ 1 on (, N) ; w(s)φ 1(s) s s + or s N (4) where w(s) is the (n 1)-dimensionl volume of (s). Let s 1 (, N) be the unique zero of φ 1, i.e., φ 1 (s 1 ) =. The min results of this pper re s follows. Theorem 1.1. If u is the first nonconstnt Neumnn eigenfunction of nd stisfies (2) nd (3), then there is dimensionl constnt C such tht () u(x 1,..., x n ) = implies x 1 s 1 < Cɛ (b) (1 Cɛ/N)µ 1 λ µ 1. where s 1 nd µ 1 re given in (4). Recll tht u minimizes the Dirichlet integrl J(v) = v 2 (5) 2
3 mong ll functions v on stisfying v 2 = 1, v =. (6) The minimum vlue of J is the eigenvlue λ. If we consider functions of x 1 lone, i.e., v(x 1,..., x n ) = φ(x 1 ), then nd the constrints (6) re J(v) = I(φ) := N φ (s) 2 w(s)ds (7) N φ(s) 2 w(s)ds = 1, N φ(s)w(s)ds =. (8) As in [J1] we observe tht the minimizer of (7) under the constrints (8) is the first nonzero eigenfunction φ 1 given in (4) nd I(φ 1 ) = µ 1. Hence λ µ 1. (9) Remrk 1. If we normlize N = 1, then by [L] nd [ZY], C 1 λ for some bsolute constnt C 1 >, nd by plugging in the test function φ(x) = sin πx 1, we get λ C 2 for some dimensionl constnt C 2. Remrk 2. In the cse of Dirichlet problem on plnr convex domin, Jerison [J2] obtined results corresponding to Theorem 1.1. Lter Grieser nd Jerison ([GJ1], [GJ2]) showed tht the nodl line is in n x 1 -intervl of much shorter length Cɛ/N (possibly t distnce Cɛ from s 1 ). We expect tht there is n nlogous bound in the Neumnn problem. Remrk 3. An nlogous pproch to the method in [J1] for higher dimensions, by modifying the methods in [J1]-[J2], leds to result weker thn Theorem 1.1, i.e., with ɛ log(ɛ/n) insted of ɛ. 2 Preliminry results nd bsic lemms The key ingredients in the proof of Theorem 1.1 re Kröger s comprison theorem on the grdient of eigenfunction u nd Kdlec s inequlity on the L 2 bound of second order derivtive of u. Theorem 2.1 (Kröger, See [K1)., [K2], [BQ] ] Let be convex domin in IR n with smooth boundry. Let u be n eigenfunction for the Lplce 3
4 opertor on with n ssocited eigenvlue λ >, under Neumnn boundry conditions. Let v be solution on some intervl (, b) of the differentil eqution v (x) + n 1 x v (x) = λv(x) on (, b) v () = v (b) = (1) such tht v on (, b) nd [min u, mx u] [min v, mx v]. Then (v 1 u) 1. Corollry 2.2. Let nd u be given s in Theorem 1.1. Suppose tht N = 1 nd mx u = 1, then u C for some dimensionl constnt C. Proof. First, we clim tht if < < b then the solution v to (1) stisfies mx v λ v(). (11) To see this, multiply v to both sides of (1) to obtin v v + λv v = 1 2 ((v ) 2 + λv 2 ) = n 1 x (v ) 2 for x >. Since, b > it follows tht (v ) 2 (x) + λv 2 (x) (v ) 2 () + λv 2 () = λv 2 (). Hence the clim follows. Now, for sufficiently lrge c >, consider n intervl (, b) (c, ), which hs λ s first nonzero eigenvlue for the Neumnn problem (1). Let v be the corresponding eigenfunction. If c is lrge enough, then we cn normlize v so tht 1 min v 2 nd 1 mx v 2. Then by, Theorem 2.1, we get sup u sup v C where the second inequlity follows from Remrk 1 nd the bove clim. Theorem 2.3 (Kdlec, See?? ). Let be bounded convex domin in IR n. Let f L 2 () nd let u be solution to u = f in, u ν = on. Then 2 u L 2 () nd 2 u 2 4 f 2. 4
5 Lemm 2.4. Let be bounded convex domin in IR n given s in (2) nd (3). Let v be bounded C 1 function in such tht 1 v 2 C, mx v C. (12) Let L be line joining point on () to point on (N). Let φ be function in such tht Then φ = v on L, φ(z) = φ( z) for z, z (s), < s < N. for some C 1 depending on n nd C. 1 φ 2 1 v 2 + C 1 ɛ (13) Proof. Without loss of generlity, we my ssume C = 1. To simplify nottion, ssume tht L = {(x 1,,..., ) : x 1 N}. For x = (x 1, x 2,..., x n ), let γ x be the line segment with endpoints (x 1,,..., ) nd x. For h >, let γ x,h be the line segment with endpoints x nd (x 1, Ax 2,..., Ax n ), where A is chosen so tht A > 1 nd the length γ x,h = h. Let ψ(x) = γ x v. Then v φ ψ nd v 2 φ 2 = (v+φ)(v φ) 2ψ. Hence it suffices to prove ψ Cɛ. For given x = (x 2,..., x n ) IR n 1, consider line segment I = {(x 1, x ) : x 1 b} contined in. Let S x,,b,θ be n (n 1)-dimensionl hypersurfce in, obtined by rotting I round L by smll ngle θ. For smll h (, x ), let B h,x,,b,θ = {γ x,h : x S x,,b,θ}. Define the set nd denote B = {B h,x,,b,θ}, height of B h,x,,b,θ = h, bottom of B h,x,,b,θ = S x,,b,θ. Suppose x nd v(x). Since v C 1, if we tke sufficiently smll b >, θ > nd h >, we cn find B B such tht x B nd mx B v min B v 2. 5
6 Decompose { v } L into disjoint nd countble union of B i s in B such tht = ( 1 B i ) { v = } L, C i v 2C i in B i. (14) Denote by h i, the height of B i nd by S i, the bottom of B i. Let B i be the n-dimensionl volume of B i nd let S i be the (n 1)-dimensionl volume of S i. Observe tht the first inequlity of (12) nd (14) imply Ci 2 B i C. (15) Hence ψ(x)dx = i v dsdx 2 γ x 2 i γ x B i C i h i S i ɛ C i h i dx 2ɛ( C 2 i h i S i ) 1/2 ( i Cɛ h i S i ) 1/2 where the lst inequlity follows from (15) nd h i S i C B i. In the following lemm, we prove Hrnck inequlity for Neumnn eigenfunctions in convex domins. Note tht B r (x) in the hypothesis of Lemm 2.5 is not necessrily contined in +. Lemm 2.5. Let nd u be given s in Theorem 1.1. If x + := {u > } nd B r (x) := B r (x) {u < } =, then for some dimensionl constnt C >, sup u C B r/2 (x) inf u. B r/2 (x) An nlogous result holds with in plce of +. Proof. We will deduce the lemm from the counterprt for prbolic equtions (See Theorem 1.2, [LY]). Let U(x, t) = e λt u(x), then U stisfies the het eqution ( t )U =. Define F (x, t) = t( log U 2 2(log U) t ) in +, then s in [LY], F nd F/ ν on + for outwrd unit norml vector ν, since is convex. 6
7 Let p + nd let B r (p) =. Let φ be nonnegtive, strictly decresing function on [, r] such tht φ(r) =. Using convexity of, we get φ( x p )/ ν < for x. Hence (φ( x p ) F (x, t)) ν = φ ν F + φ F ν < on + B r (p). Since φ(r) =, φ F ttins its mximum t some interior point in B r (p) +. Now we follow the proof of Theorem 1.2. in [LY] nd obtin u 2 u 2 + 2λ C r 2 on B r/2 (p), from which the lemm follows. Corollry 2.6. Let nd u be given s in Theorem 1.1. Suppose N = 1 nd sup u = 1. Then there exist dimensionl constnt c 1 > nd c 2 > such tht c 2 u(x) 1 for x 1 [, c 1 ] [1 c 1, 1]. Proof. Without loss of generlity, we my ssume mx u = u( x 1, x ) = 1. By Corollry 2.2, there exists dimensionl constnt c > such tht u(x 1, x ) > if x 1 x 1 < c. Hence we my ssume tht u > in {x 1 > x 1 c }. Then by Lemm 2.5, there exists dimensionl constnt c 2 > such tht u c 2 if x 1 1 c /2 x 1 c /2. On the other hnd, since u = + u +, Lemm 2.2 implies min u c 3 for some dimensionl constnt c 3 >. Hence we obtin Corollry 2.6 by similr resoning for u s in u +. Corollry 2.6 shows tht the first nodl set is locted in the middle prt of. Lter in section 4, Corollry 2.6 nd Theorems 2.1, 2.3 will be used to estimte the first nonzero eigenvlue λ. Bsed on the bound on λ, the width nd loction of the nodl set re derived, gin by using Theorems 2.1 nd ODE eigenvlue estimtes In this section we prove severl lemms on ODE eigenvlue estimtes, which will be used in section 4. In prticulr Lemm 3.6 yields the bound on the width of nodl set, nd Lemm 3.5 will be used to locte the nodl set in section 4. Lemms 3.1, 3.2, 3.3 nd 3.4 re prllel to those in [J1], nd the only difference in the proofs from the prllel lemms in [J1] is tht insted of 7
8 the concvity of the height of the cross-section h(x) in two dimensionl cse, here we hve the concvity of w 1/n 1 (x) by the Brunn-Minkowski inequlity for the volume of cross-section w(x). In the proof of those lemms we will follow the corresponding proofs in [J1], only pointing out the differences in the proof. Throughout the rest of the pper, we will normlize N = 1. Lemm 3.1. Let 1/2, then inf {φ:φ()=} φ (x) 2 w(x)dx φ(x)2 w(x)dx 1 2 n 2 2. Proof. The proof is the sme s tht of Lemm 4.2 of [J1], using the fct tht w(x) 2 n 1 w(t) for x t. Lemm 3.2. There exists constnt C > depending on n such tht inf {φ:φ()=} b φ (x) 2 w(x)dx b φ(x)2 w(x)dx C (b ) 2. Proof. Tke the test function φ(x) = x, then we need to show tht w(x)dx C x 2 w(x)dx, where C depends on n. Multiply w by constnt so tht w1/n 1 (t)dt = 1. Due to the normliztion nd the concvity of w 1/n 1, the rguments in the proof of Lemm 4.3 in [J1] yields tht By Hölder inequlity, ( x x w 1/n 1 (t)dt (1 x) 2 for x 1. w(t)dt) 1/n 1 (1 x) n 2/n 1 x w 1/n 1 (t)dt (1 x) 2, nd thus W (x) := x w(t)dt (1 x)n. Therefore by integrtion by prts, x 2 w(x)dx = x 2 W (x)dx = 8 2xW (x)dx 2x(1 x) n dx = 2/(n + 1)(n + 2),
9 where the second inequlity holds becuse W (1) =. On the other hnd, since w 1/n 1 (t) is concve with w 1/n 1 (), w 1/n 1 (1), the grph of w 1/n 1 (t), t 1 is bove the tringle generted by (, ), (1, ) nd (t, w 1/n 1 (t )) where w(t ) =mx w. It follows tht w(t)dt w(t ) (2 nd our lemm holds with C = C(n) = w 1/n 1 (t)dt) n 1 = 2 n 1 2 n (n + 1)(n + 2). Lemm 3.3. Let s 1 be the zero point of φ 1 given in (4). Then there exist constnts c 1 > nd c 2 > depending on n such tht c 1 < s 1 < c 2. Proof. It follows from Lemms 3.1, 3.2 nd the proof of Lemm 4.4 in [J1]. For [, 1], define E[, 1] = inf {φ:φ()=} φ (x) 2 w(x)dx φ(x)2 w(x)dx. Lemm 3.4. Suppose tht c 1 c for some c >. Then there exists constnt C > depending on n nd c such tht Proof. Normlize w 1/n 1 so tht ( / )E[, 1] C. sup w 1/n 1 = 1. (16) Then by concvity, w 1/n 1 (c ) c. Let φ be the unique nonnegtive minimizer for E[, 1] with the normliztion φ(x) 2 w(x)dx = 1. (17) Following the proof of Lemm 3.4 in [J1], we only need to prove tht φ(x) CE 2 (18) 9
10 where E = E[, 1] nd C is constnt depending on n nd c. Observe tht since φ stisfies (wφ ) = Ewφ nd φ (1) =, wφ (x). E( x x Ew(t)φ(t)dt (19) φ 2 (t)w(t)dt) 1/2 ( x w(t)dt) 1/2 In prticulr, (16) nd (17) imply tht wφ E for x < 1. Since φ() =, we hve t ds φ(t) E w(s). (2) On the other hnd, by concvity of w 1/n 1 (t), for s t 1, w 1/n 1 (s) is bove the line l(s) = αs+β connecting (c, c ) nd (t, w 1/n 1 (t)). Without loss of generlity, we my ssume tht c > w 1/n 1 (t) nd α <. (Otherwise, (2) would imply (18).) Thus for n 3 t ds w(s) t ds (αs + β) n 1 C (αt + β) n 2 = Hence by (19), (2) nd (21) φ E (x) w(x) x w(t)φ(t)dt C w (n 2)/n 1 (t). (21) E2 w(x) x w(t)( t 1 w(s) ds)dt CE2 w(x) x w1/n 1 (t)dt (22) CE 2 (1 x) w (n 2)/n 1 (x) CE 2 1 w n 3/n 1 (x), where the fourth nd fifth inequlities follow from w 1/n 1 (t) C(n)w 1/n 1 (x) for x t 1 (23) nd w 1/n 1 (x) min{1 x, c } for x 1 (24) 1
11 which re due to the concvity of w 1/n 1 nd the normliztion (16). (For (23), see Remrk 4.1 (b) in [J1].) It follows tht, by (22) nd (23), φ(x) x φ (t) dt C 1 E 2 w n 3/n 1 (x) (25) where C 1 is constnt depending on n nd c. We go bck to the first inequlity of (22) nd pply (25) nd then (23) nd (24), then we obtin φ (x) C 1E 2 w(x) x w(t) 2/n 1 dt C 2 E 2 w(x) n 4/n 1 where C 2 is dimensionl constnt. Now by similr resoning s in (25), we hve the improved estimte on φ : φ(x) C 3 E 2 w(x) n 4/n 1. We repet the bove process (n 4) more times to obtin φ(x) C(n)E 2. Lemm 3.5. Let φ 1 nd s 1 be given s in (4) nd suppose N = 1. If φ is function on (, 1) such tht φ(s 1 ) = nd s 1(φ ) 2 s φ 2 1 (1 + Mɛ) s 1 (φ 1 )2 s 1 φ 2 1, then s 1 s 1 + Cɛ for some constnt C depending on n nd M. Proof. The lemm follows from Lemms 3.3, 3.4 nd µ 1 = s 1 (φ 1 )2 s 1 φ 2 1. In the following lemm we show tht if the energy of φ is bounded by (1 + Mɛ)µ 1, then sup φ is bigger thn ɛ on ny intervl of length Cɛ. 11
12 Lemm 3.6. Let µ 1 be given in (4) nd suppose N = 1. Suppose φ is function on (, 1) such tht φ =, sup φ = 1, sup φ C 1 nd µ 1 (φ ) 2 φ2 (1 + Mɛ)µ 1. (26) If for some < < b < 1 nd C 2 >, sup φ ɛ nd [,b] φ C 2 then b < Cɛ for some C depending on C 1, C 2 nd M. Proof. Let φ 1 nd s 1 be given s in (4). Suppose tht sup [,b] φ ɛ for some nd b = + Cɛ where C > is sufficiently lrge. If < s 1 < b, then s 1 Cɛ/2 or b s 1 Cɛ/2. In cse b s 1 Cɛ/2, replce with (s 1 + b)/2, nd in cse s 1 Cɛ/2, replce b with (s 1 + )/2. Then we get s 1 + Cɛ/4 or b s 1 Cɛ/4. Also when < b < s 1 or s 1 < < b, by replcing or b with ( + b)/2, we get s 1 + Cɛ/4 or b s 1 Cɛ/4. Without loss of generlity we my ssume tht s 1 +Cɛ nd b = +Cɛ where C is sufficiently lrge. We lso suppose tht φ = φ > C 2. Define A φ = φ2 φ2, B φ = φ2 φ2, A φ + B φ = 1 (27) then by hypothesis, (φ ) 2 φ2 = A (φ ) 2 φ φ2 + B (φ ) 2 φ φ2 (1 + Mɛ)µ 1. If C is sufficiently lrge, then Lemm 3.4 nd bove inequlity imply tht (φ ) 2 φ2 µ 1 (φ ) 2 φ2. (28) We will construct test function ψ such tht ψ = nd (1 + Mɛ) (ψ ) 2 ψ2 < (φ ) 2 φ2, (29) 12
13 which would yield us to desired contrdiction. For α = C 2 /1, let φ(s) for s ψ(s) = φ(s) + α(s ) for s b = + Cɛ Then by clcultion, we cn show φ(s) + α(b ) for b s 1. ψ 2 ψ 2 (1 C Cɛ) φ 2 φ2 (3) for some C > depending on C 1 nd C 2. Let ψ(s) = φ(s) for s ψ(s) = β( ψ(s) φ()) + φ() for s 1 where β > is chosen so tht ψ =, i.e., ψ = β = 1 α b 1 φ + O(ɛ2 ). φ. Then Since we get φ φ 2, (31) ψ 2 (1 + 2α b 1 φ + C 3ɛ 2 ) φ 2. Hence ψ2 (1 + C 3 ɛ 2 ) φ2 nd B ψ (1 + C 3 ɛ 2 )B φ (32) where B ψ is defined s in (27) (Recll tht A ψ = 1 B ψ ). Therefore, 13
14 (ψ ) 2 ψ2 = A (ψ ) 2 ψ ψ2 + B (ψ ) 2 ψ ψ2 = A (φ ) 2 ψ φ2 + B (ψ ) 2 ψ ψ2 (1 + C 3 ɛ 2 )(A (φ ) 2 φ φ2 + B (ψ ) 2 φ ψ2 ) (1 + C 3 ɛ 2 )(A φ (φ ) 2 A φ (φ ) 2 φ2 + B φ(1 C Cɛ) φ2 + B φ(1 C Cɛ) (φ ) 2 φ2 B φc Cɛ (φ ) 2 φ2 ) (φ ) 2 φ2 + C 3ɛ 2 (1 + Mɛ)µ 1 (φ ) 2 φ2 + C 3ɛ 2 (1 + Mɛ)µ 1 where we obtin the first inequlity from A φ + B φ = A ψ + B ψ = 1, (32) nd (28), the second inequlity from (3), the third inequlity from (26). From the hypothesis φ C 2 nd (31), we observe tht B φ is bounded below by constnt depending on C 2. Hence if we choose sufficiently lrge C depending on C 1, C 2 nd M, then we obtin (29). In the next lemm, we show the nondegenercy of φ 1 ner the zero s 1. Lemm 3.7. Let φ 1 be the first nonzero eigenfunction of (4) with N = 1 nd let s 1 be the zero of φ 1 (Note tht c 1 s 1 c 2 by Lemm 3.3.) Normlize φ 1 such tht φ 1 > on (s 1, 1] nd mx φ 1 = 1. Then φ 1 on [, 1]. Moreover there exists dimensionl constnt c = c(n) such tht φ 1 c(n) on [s 1 c 1 /2, s 1 + (1 c 2 )/2]. Proof. By our normliztion φ 1 > on (s 1, 1] nd φ 1 < on [, s 1 ). Hence from (4) we observe tht wφ 1 hs its mximum t x = s 1 nd wφ 1 is incresing on [, s 1 ] nd decresing on [s 1, 1]. From the boundry condition it follows tht φ 1 on [, 1] nd thus φ 1(1) = 1. We will only prove tht φ 1 c(n) on [s 1, s 1 + (1 c 2 )/2]: prllel rgument leds to the rest of the clim. Observe tht from (4) we hve φ x 1(x) = µ 1w(t)φ 1 (t)dt. (33) w(x) 14
15 We will use bove equlity to find bounds on φ respectively ner t = 1 nd then ner t = s 1, using tht wφ hs its mximum t s 1. Note tht for c 1 x t 1, the concvity of w 1/n 1 (x) implies (1 t)w 1/n 1 (x) w 1/n 1 (t). (34) (See Remrk 4.1 () in [J1].) Then (23) nd (34) imply tht C 1 (1 x) n w(x) x w(t)dt C 2 (1 x)w(x) (35) where C 1 nd C 2 re dimensionl constnts. Let φ 1 (s 2 ) = 1/2 for s 2 [s 1, 1]. Then by (33) nd (35), it follows tht for x [s 2, 1], C 1 µ 1 (1 x) n+1 φ 1(x) C 2 µ 1 (1 x). (36) Then since φ 1 (1) = 1, φ 1 (x) 1 C 3 µ 1 (1 x) 1/2 if x [A, 1] where C 3 nd A re dimensionl constnts. Therefore s 2 A nd φ 1 (s 2) C 1 µ 1 (1 s 2 ) n+1 C 4, (37) where C 4 is dimensionl constnt. Now we hve, for s 1 t s 2, φ 1 (t) w(s 2) w(t) φ 1 (s 2) C 5 φ 1 (s 2) C 6 where the second inequlity is due to t s 2 < A nd the lst from (37). For t [s 1, s 1 + (1 c 2 )/2], (36) implies φ 1 (t) C 7 nd our clim is proved. 4 Proof of Theorem 1.1 Assume tht hs smooth boundry (We will consider the generl cse t the end of proof). Normlize u nd so tht sup u = 1 nd N = 1. First, we will estimte the difference between λ nd µ by bound Cɛ. From this bound we will show tht the nodl set is contined in n x 1 - intervl of length Cɛ nd will proceed to locte the nodl set ner the zero s 1 of the corresponding ordinry differentil eqution φ 1. By Corollry 2.2 sup u C. (38) Let L be line in given in Lemm 2.4 nd let φ be function of x 1 lone in such tht φ = u on L. Then by (38) nd Corollry 2.6, 1 Cɛ φ2 1 + Cɛ. (39) u2 15
16 On the other hnd, Kdlec s inequlity (Theorem 2.3) with f = λu gives 2 u 2 C. (4) Then by (38), (4) nd Lemm 2.4 with v = u/ x 1, (φ ) 2 u 2 + Cɛ (1 + Cɛ) u 2 (41) where the second inequlity is by Cλ u2 = C u 2. From (39) nd (41), we cn conclude tht (φ ) 2 (1 + Cɛ) u 2. (42) φ2 u2 On the other hnd, since u C nd u =, φ Cɛ. (43) Let z = (z 1,..., z n ) Λ L, then (43) implies tht there exists c such tht c < C for some dimensionl constnt C nd φ(x) := φ(x) + c ɛ(x 1 z 1 ) + stisfies φ =. Observe tht (42) lso holds for φ, nd hence µ 1 ( φ ) 2 φ 2 (1 + Cɛ) u 2 u2 = (1 + Cɛ)λ (44) which proves prt (b) of theorem 1.1. For the proof of prt (), first we will show tht the nodl set is contined in n x 1 -intervl of length Cɛ nd then we will estimte its loction. Let p be projection on the x 1 -xis. Then p( + ) nd p( ) re intervls becuse the Cournt nodl domin theorem [CH, p.452] implies + nd re connected. Hence p(λ) = [, b] for some b. By (38), sup [,b] u < Cɛ nd hence sup φ < Cɛ. (45) [,b] By Corollry 2.6, φ > C 2 for some dimensionl constnt C 2 >. Hence by Lemm 3.6, (44) nd (45), we get b < Cɛ for some dimensionl constnt C. 16
17 Now, we obtin z φ 2 1 z φ2 1 z (1 + Cɛ) 1 φ 2 z 1 φ 2 u (1 + Cɛ) 2 u 2 (1 + Cɛ) + u 2 + u 2 = (1 + Cɛ)λ (1 + Cɛ)µ 1 where = {z 1 x 1 1}, φ(z1 ) = φ(z 1 ) =, the second inequlity follows from similr rgument s in (42) nd the third inequlity follows from b < Cɛ, u 1 nd u C. Then by Lemm 3.5, z 1 s 1 + Cɛ. By similr rgument on the intervl [, z 1 ], we obtin s 1 Cɛ z 1. Since the length of the projection of Λ on the x 1 -xis is less thn Cɛ, prt () is proved. For generl domin, let k be n incresing sequence of smooth domins which converges to uniformly on ech cross sections k (x 1 ). Let u k be the corresponding first nonzero eigenfunctions of k with sup u k = 1. Then by Kröger s theorem (Theorem 2.1), sup k u k is uniformly bounded. Hence there exists subsequence u kj which converges uniformly to u nd λ kj converges to λ. On the other hnd, since the volume w k (x) of k (x) uniformly converges to w(x), we my let φ kj converge uniformly to φ 1 nd µ kj converge to µ. Now by the nondegenercy of φ kj (Lemm 3.7) nd the nondegenercy of u kj ner in the scle ɛ (Lemm 3.6), we obtin Theorem 1.1 for u nd λ. References [AJ] [BQ] V. Adolfsson, D. Jerison, L p -Integrbility of the second order derivtives for the Neumnn problem in convex domins Indin Univ. Mth. J., 43(1994), D. Bkry, Z. Qin, Some new results on eigenvectors vi dimension, dimeter, nd Ricci curvture Adv. Mth., 155(2), [CH] R. Cournt, D. Hilbert Methods of Mthemticl Physics vol. I, Interscience Publishers, New York (1953). [GJ1] D. Grieser, D. Jerison, Asymptotics of the first nodl line of convex domin Inventiones Mth., 125(1996),
18 [GJ2] [K1] [K2] [J1] [J2] [L] [LY] [ZY] D. Grieser, D. Jerison, The size of the first eigenfunction of convex plnr domin J. Amer. Mth., 11(1998), P. Kröger, On the spectrl gp for compct mnifolds J. Differentil Geom., 36(1992), P. Kröger, On the rnges of eigenfunctions on compct mnifolds Bull. London Mth. Soc., 3(1998), no D. Jerison, Locting the first nodl line in the Neumnn problem Trns. Amer. Amth. Soc., 352(2), D. Jerison, The dimeter of the first nodl line of convex domin Annls of Mth., 141(1995), P. Li, A lower bound for the first eigenvlue of the Lplcin on compct mnifold Indin U. Mth. J., 28(1979), P. Li, S.-T. Yu On the prbolic kernel of the Schrödinger opertor Act Mth., 156(1986), J. Q. Zhong, H. C. Yng On the estimte of the first eigenvlue of compct Riemnnin mnifold Sci. Sinic Ser. A, 27(12)(1984),
Properties of the Riemann Integral
Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
More informationLocating the first nodal set in higher dimensions
Locating the first nodal set in higher dimensions Sunhi Choi, David Jerison and Inwon Kim March 12, 27 Abstract We extend the two dimensional results of Jerison [J1] on the location of the nodal set of
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More information4. Calculus of Variations
4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the
More informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationSEMIBOUNDED PERTURBATION OF GREEN FUNCTION IN AN NTA DOMAIN. Hiroaki Aikawa (Received December 10, 1997)
Mem. Fc. Sci. Eng. Shimne Univ. Series B: Mthemticl Science 31 (1998), pp. 1 7 SEMIBOUNDED PERTURBATION OF GREEN FUNCTION IN AN NTA DOMAIN Hiroki Aikw (Received December 1, 1997) Abstrct. Let L = P i,j
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationFunctional Analysis I Solutions to Exercises. James C. Robinson
Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
More informationSpace Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.
Clculus 3 Li Vs Spce Curves Recll the prmetric equtions of curve in xy-plne nd compre them with prmetric equtions of curve in spce. Prmetric curve in plne x = x(t) y = y(t) Prmetric curve in spce x = x(t)
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
More informationMath 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech
Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationPrinciples of Real Analysis I Fall VI. Riemann Integration
21-355 Principles of Rel Anlysis I Fll 2004 A. Definitions VI. Riemnn Integrtion Let, b R with < b be given. By prtition of [, b] we men finite set P [, b] with, b P. The set of ll prtitions of [, b] will
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationPartial Derivatives. Limits. For a single variable function f (x), the limit lim
Limits Prtil Derivtives For single vrible function f (x), the limit lim x f (x) exists only if the right-hnd side limit equls to the left-hnd side limit, i.e., lim f (x) = lim f (x). x x + For two vribles
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
More informationS. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:
FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy
More information1 2-D Second Order Equations: Separation of Variables
Chpter 12 PDEs in Rectngles 1 2-D Second Order Equtions: Seprtion of Vribles 1. A second order liner prtil differentil eqution in two vribles x nd y is A 2 u x + B 2 u 2 x y + C 2 u y + D u 2 x + E u +
More informationElliptic Equations. Laplace equation on bounded domains Circular Domains
Elliptic Equtions Lplce eqution on bounded domins Sections 7.7.2, 7.7.3, An Introduction to Prtil Differentil Equtions, Pinchover nd Rubinstein 1.2 Circulr Domins We study the two-dimensionl Lplce eqution
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
More informationAPPLICATIONS OF THE DEFINITE INTEGRAL
APPLICATIONS OF THE DEFINITE INTEGRAL. Volume: Slicing, disks nd wshers.. Volumes by Slicing. Suppose solid object hs boundries extending from x =, to x = b, nd tht its cross-section in plne pssing through
More informationMath 1431 Section 6.1. f x dx, find f. Question 22: If. a. 5 b. π c. π-5 d. 0 e. -5. Question 33: Choose the correct statement given that
Mth 43 Section 6 Question : If f d nd f d, find f 4 d π c π- d e - Question 33: Choose the correct sttement given tht 7 f d 8 nd 7 f d3 7 c d f d3 f d f d f d e None of these Mth 43 Section 6 Are Under
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More informationMath Fall 2006 Sample problems for the final exam: Solutions
Mth 42-5 Fll 26 Smple problems for the finl exm: Solutions Any problem my be ltered or replced by different one! Some possibly useful informtion Prsevl s equlity for the complex form of the Fourier series
More informationREGULARITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2
EGULAITY OF NONLOCAL MINIMAL CONES IN DIMENSION 2 OVIDIU SAVIN AND ENICO VALDINOCI Abstrct. We show tht the only nonlocl s-miniml cones in 2 re the trivil ones for ll s 0, 1). As consequence we obtin tht
More informationInternational Jour. of Diff. Eq. and Appl., 3, N1, (2001),
Interntionl Jour. of Diff. Eq. nd Appl., 3, N1, (2001), 31-37. 1 New proof of Weyl s theorem A.G. Rmm Mthemtics Deprtment, Knss Stte University, Mnhttn, KS 66506-2602, USA rmm@mth.ksu.edu http://www.mth.ksu.edu/
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
More information(4.1) D r v(t) ω(t, v(t))
1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationMath 5440 Problem Set 3 Solutions
Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 213 1: (Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationarxiv: v3 [math.dg] 24 Feb 2018
BOUNDS FOR THE FIRST NON-ZERO STEKLOV EIGENVALUE rxiv:80.03747v3 [mth.dg] 4 Feb 08 SHEELA VERMA Deprtment of Mthemtics nd Sttistics Indin Institute of Technology Knpur Knpur, Indi Abstrct. Let be str-shped
More informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationGreen function and Eigenfunctions
Green function nd Eigenfunctions Let L e regulr Sturm-Liouville opertor on n intervl (, ) together with regulr oundry conditions. We denote y, φ ( n, x ) the eigenvlues nd corresponding normlized eigenfunctions
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationEntrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim
1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your
More informationCalculus of Variations
Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function
More informationMath 5440 Problem Set 3 Solutions
Mth 544 Mth 544 Problem Set 3 Solutions Aron Fogelson Fll, 25 1: Logn, 1.5 # 2) Repet the derivtion for the eqution of motion of vibrting string when, in ddition, the verticl motion is retrded by dmping
More informationLYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p 1, p 2,..., p n )-LAPLACIAN
Electronic Journl of Differentil Equtions, Vol. 203 (203), No. 28, pp. 0. ISSN: 072-669. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu LYAPUNOV-TYPE INEQUALITIES FOR
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationWe know that if f is a continuous nonnegative function on the interval [a, b], then b
1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going
More informationCalculus I-II Review Sheet
Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationChapter 28. Fourier Series An Eigenvalue Problem.
Chpter 28 Fourier Series Every time I close my eyes The noise inside me mplifies I cn t escpe I relive every moment of the dy Every misstep I hve mde Finds wy it cn invde My every thought And this is why
More informationOverview of Calculus I
Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,
More informationUniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationSturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1
Ch.4. INTEGRAL EQUATIONS AND GREEN S FUNCTIONS Ronld B Guenther nd John W Lee, Prtil Differentil Equtions of Mthemticl Physics nd Integrl Equtions. Hildebrnd, Methods of Applied Mthemtics, second edition
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationPart II. Analysis of PDE
Prt II. Anlysis of PDE Lecture notes for MA342H P. Krgeorgis pete@mths.tcd.ie 1/38 Second-order liner equtions Consider the liner opertor L(u) which is defined by L(u) = 1 u xx + 2 u yy +b 1 u x +b 2 u
More informationSuppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.
Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot
More informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
More informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More information440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP
More information