- Text
- Eigenvalues,
- Degenerate,
- Perturbation,
- Electronic,
- Eigenvalue,
- Eigenfunctions,
- Theorem,
- Pair,
- Follows,
- Equation,
- Expansion,
- Neighborhood,
- Renner,
- Www.ima.umn.edu

A Born-Oppenheimer Expansion in a Neighborhood of a Renner ...

Pro**of**: Let ||t|| = ��n j=1 t 2 �1/2 j , ||p || = ��n j=1 p 2 �1/2 j . We prove the Lemma with S(t) = 1+4 ||t||, ˜ K = 7/16, and K = 17/16. We first show that for this choice **of** S(t), K = 17/16: � � � n� � � (pj + itj) � 2 � � � � � � ≤ n� |pj + itj| 2 j=1 = j=1 n� j=1 = ||p || 2 ≤ ||p || 2 ≤ ||p || 2 In particular notice that this argument also shows (p 2 j + t 2 j ) � � 1 + ||t||2 ||p || 2 � 1 + � � 17 . 16 Now we show that for this choice **of** S(t), ˜ K = 7/16: � � � n� � � (pj + itj) � 2 � � � � � � = j=1 ≥ ≥ ≥ ||t|| 2 (1 + 4 ||t||) 2 � ||p|| 2 + ||t|| 2 ≤ 17 16 ||p||2 . (4.8) ⎡⎛ ⎣⎝ � � � � � � n� j=1 n� j=1 � � � � � � = ||p || 2 n� j=1 n� j=1 (p 2 j − t 2 j (p 2 j − t 2 j ) (p 2 j − t 2 j ) ) − 2 ⎞ ⎠ 2 � � � � � � � � − 2� � � � ⎛ + ⎝ 2 n� j=1 n� j=1 n� |pj | |tj | j=1 (p 2 j − t 2 j ) − 2 ||p || ||t || � 1 − 26 � ||t ||2 ||t || 2 − 2 ||p || ||p || pj tj pj tj � � � � � � ⎞ ⎠ � � � � � � 2 ⎤1/2 ⎦

� Proposition 4.7. Let Ψ = ≥ ||p || 2 ≥ ||p || 2 � f g � � 1 − ||t || 2 � 2 ||t || − (1 + 4 ||t||) 2 1 + 4 ||t|| � � 7 . (4.9) 16 ∈ H be a solution **of** H2Ψ = EΨ, with E > 0. Then, for any γ > 0, and any α ∈ N 2 , D α f, D α g ∈ D(e γ〈x〉 ), where D α = ∂ α1 X Pro**of**: We use a Paley-Wiener Theorem, Theorem IX.13 **of** [18]: ∂ α2 Y . Let φ ∈ L 2 (IR n ). Then e γ|x | φ ∈ L 2 (IR n ) for all γ < γ ′ if and only if ˆ φ has an analytic cont**in**uation to the set {p : |Im p | < γ ′ } with the property that for each t ∈ IR n with |t| < γ ′ , ˆ φ(· + it) ∈ L 2 (IR n ), and for any γ < γ ′ , sup |t|≤γ �� �� ��ˆ �� �� φ(· + it) �� < ∞. 2 If a function ˆ φ satisfies the conditions **in** this theorem we will say that ˆ φ is “P-W”. Let pj = −i∂xj . We present the pro**of** for general n. In our case we have n = 2 with x1 = X and x2 = Y . Proposition 4 shows that ˆ f and ˆg are P-W for any γ ′ > 0. In particular we know that ˆf, ˆg are analytic everywhere. So the analyticity condition will be a non-issue **in** the course **of** the pro**of**. � ∇f, � ∇g, � ∆f, � ∆g are also P-W for any γ ′ > 0. So p ↦→ pj ˆ f(p), p ↦→ pj ˆg(p), p ↦→ �n j=1 p 2 j ˆ f(p), and p ↦→ �n j=1 p 2 j ˆg(p) are P-W for all γ′ > 0. Let S(t) = 1 + 4 ||t || and BS be a ball **of** radius S centered at the orig**in**. S**in**ce �n j=1 p 2 j ˆ f(p) is P-W, with (4.9) we have � IR n \B S(t) ||p || 4 | ˆ f(p + it) | 2 dp ≤ � �2 � 16 7 IR n \BS(t) � � � � � � n� (pj + itj) 2 � � � � � � j=1 2 | ˆ f(p + it) | 2 dp < ∞ (4.10) uniformly for t **in** compact subsets **of** IR n . We only show results **in**volv**in**g f. The same results hold with f replaced by g. �� �� Note that s**in**ce S(t) and �� ˆ �� �� f(· + it) �� are uniformly bounded for t **in** compact subsets **of** IR 2 n , we only need to prove estimates for ||p || ≥ S(t). All **of** the **in**tegral estimates that follow hold 27

- Page 1 and 2: A Born-Oppenheimer Expansion in a N
- Page 3 and 4: there exist quasimode energies of t
- Page 5 and 6: to both electronic states of the R-
- Page 7 and 8: 3 The Construction of the Quasimode
- Page 9 and 10: with eigenvalues ˜ E±(x, y) = ±
- Page 11 and 12: f ↔ g, Ψ1 ↔ Ψ2, h11 ↔ h22,
- Page 13 and 14: So we get E (1) = 0 and ψ (1) ⊥
- Page 15 and 16: and ⎛ Using what we know through
- Page 17 and 18: and ⎛ ⎝ f(k−2) g (k−2) ⎞
- Page 19 and 20: This easily follows from � �
- Page 21 and 22: H ± 1 = W −1 H ± 0 W = ⎛ ⎜
- Page 23 and 24: so that H2 = H0 + V . Note that for
- Page 25: Let β > 0. Then, � e 2γ〈x〉
- Page 29 and 30: � = IR n \BS(t) � ≥ IR n \BS(
- Page 31 and 32: form (see Theorem XII.5 in [19])
- Page 33 and 34: Let r = a1/4 ρ, ˜b = b , and a HU
- Page 35 and 36: Denote the eigenfunctions of H [±|
- Page 37 and 38: for the larger values of |l|. The s
- Page 39 and 40: 4 3.5 3 2.5 2 1.5 1 0.5 0 0 0.1 0.2
- Page 41 and 42: 1. For l �= 0, each +|l| state ge
- Page 43 and 44: Φ A ǫ is also asymptotic to an ei
- Page 45 and 46: We have (H(ǫ) − Eǫ,K)Φǫ,K = F
- Page 47 and 48: Acknowledgement It is a pleasure to