Dispersion for the Schrodinger Equation on discrete trees April 11 2012
Preliminaries Let Γ = (V, E) be a graph, denoting V the set of vertices and E the set of edges, assumed to be segments which are either finite or infinite in one direction only. Each edge α E is parametrized by I α, which is {1, 2,... N α } or {1, 2,... }. Each vertex v V is the initial point for m v edges: αi v (1 i m v ) and (except for the origin) the final point for a single edge, α0 v.
u 12 ũ 1 u 3 u 2
We indentify the funtions defined on the graph by the families (u α ) α E such that u α : I α C. If the v vertex is: the final point of the α edge and the origin of the α 1,..., α m vertices, then we extend these functions by setting u α (N α + 1) = u α i (0) = uα (N α ) + u α 1 (1) +... u αm (1), 1 i m. m + 1 (1) By chosing an origin (the tree becomes oriented) the formula is without the α term, and divide by m instead.
The motivation for studying thin structures comes from mesoscopic physics and nanotechnology. Mesoscopic systems are those that have some dimensions which are too small to be treated using classical physics while they are too large to be considered on the quantum level only. The quantum wires are physical systems with two dimensions reduced to a few nanometers. The continuous case has been investigated before by Liviu Ignat and Valeria Banica, while in the discrete setting: L.I. and Diana Stan coupled two discrete equations even allowing different coefficients.
We consider the LSE equation on Γ: i t u α (t, j) + u α (t, j) = 0, t 0 u α (0, j) = ϕ α (j), α E, j I α. (2) The functions u α obey the continuity and coupling conditions defined in (1). We define the laplacian by u α j = u α j+1 2u α j + u α j 1.
Theorem 1.1 For every ϕ l 2, the system (10) has a unique solution u = (u α ) α E C(R, l 2 ). Additionally, there exists C > 0 for which u(t) l C ϕ l 1 ϕ l 1. (3) 1 + t 3 From this, we get the following consequence: Theorem 1.2 For every ϕ l 2, the solution u satisfies u L q (R,l r ) C q,r ϕ l 2 (4) for the (q, r) pairs for which 1/q 1/3(1/2 r).
The spectrum Proposition 1.3 The spectrum of the discrete laplacian on Γ is σ( ) = [ 4, 0]. Consider the resolvent R λ = ( λ) 1 B(l 2 ) for λ C \ [ 4, 0]. Proposition 1.4 For f l 2, the resolvent R λ f = u is given by un α = u0 α r 1 n + S n α,, α = infinite edge, n I α un α = a α r1 n + bα r2 n + S n α,, α = finite edge, n I α. (5) where Sn α is defined by Sj α = 1 [ ] r 1 1 r j k 1 r j+k 1 fk α. (6) r 1 k I α
Now, r 1, r 2 are the solutions of the equation r 2 (2 + λ)r + 1 = 0 for λ = x iε: Proposition 1.5 Let x [ 4, 0] and ε > 0. For any f l 2 and any α E: + 1 2i [R x iε R x+iε ] f α n = 1 2i Im[aα r n 1 + b α r n 2 ]+ k I α f α [ k Im 1 ( ) ] r 1 1 r n k 1 r1 n+k, n I α (7) r 1 For any ϕ l 1 and a, b R we have b b lim [R x iε R x+iε ] ϕ n dx = [R x R x+ ] ϕ n dx, n I α ε 0+ a a (8)
The last term in the RHS is given by 2i [R x R x+ ] ϕ α n = Im[a α r n +b α r n ]+ k I α ϕ α k Im 1 r 1 r such that r is the solution with Im r 0 of the equation r 2 (2 + x)r + 1 = 0 This shows that R x R x+ is well-defined as an operator in B(l 1, l ). (r n k r n+k) (9)
We return to the equation i t u α (t, j) + u α (t, j) = 0, t 0 u α (0, j) = ϕ(j), α E, j I α. (10) Theorem 1.6 For any ϕ l 2, there exists a unique solution u = (u α ) α E C(R, l 2 ) of the system (10) which satisfies u(t) l 2 = ϕ l 2. Moreover, if ϕ l 1 then u can be represented as ( ) u(t) n = e it ϕ = 1 e itλ [R λ R λ+ ] ϕ n dλ. (11) n 2πi I
Proof. We use Stone s (or Hille-Yosida) theorem to show that there exists a unique solution u C(R, l 2 ) of equation (10), given by u(t) = e it ϕ, (12) where the operators e it are defined by power series or by functional calculus. They are unitary operators, so µ ϕ,n (a, b) = lim So, we get u(t) n = u(t) l 2 = ϕ l 2. ( ) u(t) n = e it ϕ = e itλ dµ ϕ,n, (13) n lim δ 0+ ε 0+ σ( ) 1 b δ R 2πi (x iε) T R (x+iε) T dx a+δ ( ) e it ϕ = 1 e itλ [R λ R λ+ ] ϕ n dλ. n 2πi I
The key lemma Lemma 1.7 For any ϕ l 1 and any t R, n Z the following inequalities are true: e itλ u0, r α n dλ C ϕ l 1 (14) 1 + t I I 3 e itλ a r α n dλ C ϕ l 1 (15) 1 + t I 3 e itλ b r α n dλ C ϕ l 1 (16) 1 + t We will discuss this lemma after the main result. 3
Proof of the main result We use (9) and (11) and observe that, in order to get the inequality (3), it suffices to check that for all n and k e itλ Im u0, r α n dλ C ϕ 3 l 1 (17) I 1 + t e itλ Im a r α n dλ C ϕ l 1, 1 + t e itλ Im b r α n dλ C 1 + t I 3 (18) [ e itλ 1 ( Im I r 1 r n k r n+k)] dλ C. (19) 3 r 1 + t Inequality 19 was proved in [3], (4.13), in a more general case by using Van der Corput s lemma. It is sufficient to prove 17 and 18 without the imaginary part Im because, by chosing t instead of t and conjugating both, we get the inequalities with additional Im. So, by using the lemma stated before, the result follows. I 3
A particular case u 12 ũ 1 u 3 u 2
To prove the inequalities in the lemma for this particular case, we have to determine u0 11, u12 0, u2 0, u3 0, a = a1 and b = b 1 from the system u0 2 u3 0 = 0 u0 2 a b = 0 (r 1)u 2 0 + (r 1)u3 0 + (r 1)a + (r 2 1)b = S 1 1 S 2 1 S 3 1 = K 3 r N+1 a + r N+1 2 b u 11 0 = 0 u 11 0 u12 0 = 0 r N a + r N 2 b + ( r 3 2) u 11 0 + ( r 3 2 ) u 12 0 = ( SN 1 + S 1 11 + S 1 12 ) = K6. (20)
We have the following matrix M coresponding to the variables: x = [u0 2, u3 0, a, b, u11 0, u12 0 ] = [x i]: 1 1 0 0 0 0 1 0 1 1 0 0 r 1 1 r 1 1 r 1 1 r 2 1 0 0 0 0 r1 N+1 r2 N+1 1 0 0 0 0 0 1 1 0 0 r1 N r2 N r 1 3 2 r 1 3 2 K = 0 0 K 3 0 0 K 6 We see that det M = (r 1 1) N+1 2 r2 [ 9 r 2N 1 (2r 1 1) 2] = (r 1 1) 2 (r 1 +1)h(r 1 ), for a polynomial function g(x) = x N+1 h(x) which does not vanish on T.
To determine the elements x i we have to insert the column K in the place of column i in M and to compute this determinant, denoted D i (r 1 ), obtaining x i = D i det M.
Lemma 1.8 For every 1 i 6 and every α E there is a polynomial q α,i 1 (x, y), and another polynomial qα,i N α (x, y) when α is finite such that [ ) D i (r 1 ) = (r 1 1) S1 α q α,i 1 (r 1, 1r1 + SN α α q α,i N α (r 1, 1 )]. r 1 α E α finite Proof. We have r 2 = 1 r 1, so when r 1 = 1 also r 2 = 1 follows. We must check that D i (r 1 ) = 0 for r 1 = 1: If K enters in a different column than 3 or 4, then the columns 3 and 4 are equal; If K enters in column 3 or 4, we easily make a linear combination of columns that is 0.
We get an expression for x i {u0 2, u3 0, a, b, u11 0, u12 0 }: S1 α qα,i 1 (r 1, 1 r 1 ) (r 1 1)(r 1 + 1)h(r 1 ) + S α N α q α,i N α (r 1, 1 r 1 ) (r 1 1)(r 1 + 1)h(r 1 ). x i = α E α finite (21) We write (6) for these cases, and we will plug (22) and (23) into (21). S α 1 = k I α r k 1 ϕ α k (22) S α N α = r Nα 1 k I α r k 1 r 1 k r 1 r 1 1 ϕ α k, (if α finite). (23)
Lemma 1.9 There are constants C such that for every m Z, α E, k I α and t R, the following inequalities are true: i) e itλ r1 m (r 1 1)(r 1 + 1)g(r 1 ) dλ C 3 1 + t iii) ii) e itλ I I r1 k k r1 r 1 r 1 1 e itλ I q α,i 1 (r 1, 1 r 1 ) (r 1 1)(r 1 + 1)h(r 1 ) r 1 m dλ q α,i N α (r 1, 1 r 1 ) (r 1 1)(r 1 + 1)h(r 1 ) r 1 m dλ C 3 1 + t C if α finite edge. 3 1 + t
Proof of i. The function g is a polynomial which does not vanish on the unit circle so, using Wiener s theorem (18.21 from [4]), 1/g has an absolutely and uniformly convergent Fourier series 1 g(r 1 ) = p 0 a p r p 1, a p < A. p 0 This reduces the proof to e itλ r1 m (r 1 1)(r 1 + 1) dλ I We now write r 1 = e iθ and hence C. 1 + t 3 (m Z). λ = 2(cos θ + 1) and (r 1 1)(r 1 + 1) = i sin θe iθ.
By making a change of variable such that we integrate over θ [0, π], the last integral becomes π e 2it(cos θ 1) e imθ dθ C (m Z). 3 1 + t 0 This last estimate was proved at (4.14) in [3], by using Van der Corput s lemma.
Proof of Lemma 1.7 For x i {u0 2, u3 0, a, b, u11 0, u12 0 } we have to prove that e itλ x i r1 n dλ C ϕ l 1 (n Z). 1 + t I 3 We plug (22) and (23) in (21) and by using Lemma 1.9, we get e itλ x i r1 n dλ ϕ α k e itλ r1 k qα,i 1 (r 1, 1 r 1 ) I α E k I I (r 1 1)(r 1 + 1)h(r 1 ) r 1 n dλ + α + Nα r r k k 1 r1 ϕ α k 1 q α,i itλ r 1 r e 1 N α (r 1, 1 r 1 ) 1 α finite k I α I (r 1 1)(r 1 + 1)h(r 1 ) r 1 n dλ C ϕ α 3 k + ϕ α k C ϕ 1 + t 3 l 1. α E k I α α finite k I α 1 + t
The general case Like in the particular case, we have to determine the coefficients from Lemma 1.7. By denoting the determinant of the system of graph Γ n by D n we get the following recurrence relation: D n = D n 1 r N+1 2 (m +1) (r 1 1) [ 1 where D n is another similar determinant. ( r1 r 2 ) ] N+1 m r 2 D n 1, m + 1 D n 1 (24)
Lemma 2 We have D n = (r 1 1) n (r 1 + 1) n 1 h(r 1 ) (25) for h a rational function which does not vanish on T.
Lemma 3 We have D i n = (r 1 1) n 1 (r 1 + 1) n 2 q n i (r 1, r 2 ) (26) for q n i (x, y) = α S α 1 q α,i 1 (x, y) + S α N α q α,i N α (x, y) where q α,i 1 si q α,i N α are polynomials. From here on, the solution is identical with the previous particular case, since we have the expansion for 1 h and the factors D n and D i n in x i cancel, which leads us to the same integrals as before.
THANKS for your attention!!!
References 1 W. Rudin, Functional analysis, McGraw-Hill Science, 1991. 2 N. Dunford and J.T. Schwartz, Linear Operators II: Spectral Theory, Interscience, 1963. 3 L.I. Ignat, D. Stan, Dispersive properties for discrete Schrodinger equations, J. Fourier Analysis and Applications 4 W. Rudin, Real and complex analysis