Bourbaki

Exercise 21, § 4

Tag 0355, permanent. Cite it as [Bourbaki, Tag 0355].

Spectral Theories, IV, p. 351

We retain the notation of the preceding exercise. We denote by φn\varphi_n the unique eigenfunction of SLq_q corresponding to the eigenvalue λn\lambda_n such that φn′(0)=λn\varphi '_n(0) =\lambda_n.

a) Let M = sup{q(x)}\{q(x)\}. For every n∈Nn\in \mathbf{N}, one has

π2(n+1)2⩽λn⩽π2(n+1)2+M \pi^2(n+ 1)^2\leqslant \lambda_n\leqslant \pi^2(n+ 1)^2+ M

and moreover

λn=π2(n+1)2(1+O(1n2)) \lambda_n=\pi^2(n+ 1)^2(1 + O(\frac{1}{n^2}))

when n→+∞n\rightarrow +\infty.

b) Let s>0s >0. Let f∈C2([0,1])f\in \mathscr{C}^2([0,1]) be such that

−f′′+s2f=−qf,f(0)=0,f′(0)=s -f''+s^2f=-qf,f(0) = 0,f'(0) =s

Then one has (1−s−1us)f=gs(1-s^{-1}u_s)f=g_s, where gs(x)=g_s(x) = sin(sxsx) and usu_s is the integral operator on C([0,1])\mathscr{C}([0,1]) given by

us(f)(x)=∫0xu_s(f)(x) =\int_0^x sin(s(x−y)s(x-y))q(y)f(y)dμ(y)q(y)f(y)d\mu(y).

c) For ss sufficiently large, one has s∉s \notin Sp(usu_s).

d) For every fixed xx, one has

φn(x)=\varphi_n(x) = sin((n+1n+ 1)xx) +O(n−1)+ O(n^{-1})

when n→+∞n\rightarrow +\infty.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.