View source for Khabibullin's conjecture on integral inequalities

Explicit formulas for '''eigenvalues and eigenvectors of the [[second derivative]]''' with different boundary conditions are provided both for the continuous and discrete cases. In the discrete case, the standard [[Central_difference#Higher-order_differences|central difference approximation of the second derivative]] is used on a uniform grid. 

These formulas are used to derive the expressions for [[eigenfunctions]] of [[Laplacian]] in case of [[separation of variables]], as well as to find [[eigenvalue]]s and [[eigenvector]]s of multidimensional [[Discrete Laplace operator|discrete Laplacian]] on a [[regular grid]], which is presented as a [[Kronecker sum of discrete Laplacians]] in one-dimension.

==The continuous case==
The index j represents the jth eigenvalue or eigenvector and runs from 1 to <math> \infty </math>. Assuming the equation is defined on the domain <math>x \in [0,L]</math>, the following are the eigenvalues and normalized eigenvectors. The eigenvalues are ordered in descending order.

===Pure Dirichlet boundary conditions===
:<math> \lambda_j = -\frac{j^2 \pi^2}{L^2}</math>

:<math> v_j(x) = \sqrt{\frac{2}{L}} \sin(\frac{j \pi x}{L}) </math>

===Pure Neumann boundary conditions===
:<math> \lambda_j = -\frac{(j - 1)^2 \pi^2}{L^2}</math>
 
:<math>
v_j(x) = 
\left\{
\begin{array}{lr}
L^{- \frac{1}{2}} & j = 1\\
\sqrt{\frac{2}{L}} \cos (\frac{(j - 1) \pi x}{L} ) & otherwise
\end{array}
\right.
</math>

===Periodic boundary conditions===
:<math>\lambda_j = 
\left\{
\begin{array}{lr}
-\frac{j^2 \pi^2}{L^2} & \mbox{j is even.}\\
-\frac{(j+1)^2 \pi^2}{L^2} & \mbox{j is odd.}
\end{array}
\right.
</math>

(That is: <math>0</math> is a simple eigenvalue and all further eigenvalues are given by <math>\frac{j^2 \pi^2}{L^2}</math>, <math>j=1,2,\ldots</math>, each with multiplicity 2).

:<math> v_j(x) = \begin{cases}
L^{-\frac{1}{2}} & \mbox{if } j = 1.\\
\sqrt{\frac{2}{L}} \sin(\frac{j \pi x}{L}) & \mbox{ if j is even.}\\
\sqrt{\frac{2}{L}} \cos(\frac{(j+1) \pi x}{L}) & \mbox{ otherwise if j is odd.}
\end{cases} </math>

===Mixed Dirichlet-Neumann boundary conditions===
:<math> \lambda_j = -\frac{(2j - 1)^2 \pi^2}{4 L^2} </math>

:<math> v_j(x) = \sqrt{\frac{2}{L}} \sin(\frac{(2j - 1) \pi x}{2 L}) </math>

===Mixed Neumann-Dirichlet boundary conditions===
:<math> \lambda_j = -\frac{(2j - 1)^2 \pi^2}{4 L^2} </math>

:<math> v_j(x) = \sqrt{\frac{2}{L}} \cos(\frac{(2j - 1) \pi x}{2 L}) </math>

==The discrete case==
Notation: The index j represents the jth eigenvalue or eigenvector. The index i represents the ith component of an eigenvector. Both i and j go from 1 to n, where the matrix is size n x n. Eigenvectors are normalized. The eigenvalues are ordered in descending order.

===Pure Dirichlet boundary conditions===
:<math> \lambda_j = -\frac{4}{h^2} \sin(\frac{\pi j}{2(n + 1)})^2</math>

:<math>v_{i,j} = \sqrt{\frac{2}{n+1}} \sin(\frac{i j \pi}{n+1})</math>

===Pure Neumann boundary conditions===
:<math>\lambda_j = -\frac{4}{h^2} \sin(\frac{\pi (j - 1)}{2n})^2</math>

:<math> v_{i,j} = \begin{cases}
n^{- \frac{1}{2}} & j = 1\\
\sqrt{\frac{2}{n}} \cos(\frac{\pi (j - 1)(i - \frac{1}{2})}{n}) & otherwise
\end{cases}</math>

===Periodic boundary conditions===

:<math>
\lambda_j = \begin{cases}
-\frac{4}{h^2} \sin(\frac{\pi (j-1))}{2n})^2 & \mbox{ if j is odd.}\\
-\frac{4}{h^2} \sin(\frac{\pi j}{2n})^2 & \mbox{ if j is even.}
\end{cases}
</math>

(Note that eigenvalues are repeated except for 0 and the largest one if n is even.)
:<math> v_{i,j} = \begin{cases}
n^{-\frac{1}{2}} & \mbox{if } j = 1.\\
n^{-\frac{1}{2}} (-1)^i & \mbox{if } j = n \mbox{ and n is even.}\\
\sqrt{\frac{2}{n}} \sin (\frac{\pi (i-0.5) j}{n} ) & \mbox{ otherwise if j is even.}\\
\sqrt{\frac{2}{n}} \cos(\frac{\pi (i-0.5) (j - 1)}{n}) & \mbox{ otherwise if j is odd.}
\end{cases} </math>

===Mixed Dirichlet-Neumann boundary conditions===
:<math>\lambda_j = -\frac{4}{h^2} \sin(\frac{\pi (j-\frac{1}{2})}{2n + 1})^2</math>

:<math>v_{i,j} = \sqrt{\frac{2}{n+0.5}} \sin(\frac{\pi i (2j - 1)}{2n + 1})</math>

===Mixed Neumann-Dirichlet boundary conditions===
:<math>\lambda_j = -\frac{4}{h^2} \sin(\frac{\pi (j-\frac{1}{2})}{2n + 1})^2</math>

:<math>v_{i,j} = \sqrt{\frac{2}{n+0.5}} \cos(\frac{\pi (i-0.5) (2j - 1)}{2n + 1})</math>

== Derivation of Eigenvalues and Eigenvectors in the Discrete Case ==
===Dirichlet case===
In the 1D discrete case with Dirichlet boundary conditions, we are solving

:<math> \frac{v_{k+1} -2v_k + v_{k-1}}{h^2} = \lambda v_{k}, \ k=1,...,n, \ v_0 = v_{n+1} = 0.</math>

Rearranging terms, we get

:<math> v_{k+1} = (2 + h^2 \lambda)v_k - v_{k-1}. \!</math>

Now let <math> 2 \alpha = (2 + h^2 \lambda) </math>. Also, assuming <math> v_1 \neq 0 </math>, we can scale eigenvectors by any nonzero scalar, so scale <math>v</math> so that <math>v_1 = 1 </math>.

Then we find the recurrence

:<math>
v_0 = 0
\,\!</math>

:<math>
v_1 = 1.
\,\!</math>

:<math> 
v_{k+1} = 2 \alpha v_{k} - v_{k-1}
\,\!</math>

Considering <math> \alpha </math> as an indeterminate,

:<math> v_{k+1} = U_k (\alpha) \,\!</math> 
where <math> U_k </math> is the kth [[Chebyshev polynomials|Chebyshev polynomial]] of the 2nd kind.

Since <math> v_{n+1} = 0 </math>, we get that 

:<math> U_k (\alpha) = 0 \,\!</math>. 

It is clear that the eigenvalues of our problem will be the zeros of the nth Chebyshev polynomial of the second kind, with the relation <math> 2 \alpha = (2 + h^2 \lambda) </math>.

These zeros are well known and are:

:<math>
\alpha_k = \cos(\frac{k \pi}{n+1}).
\,\!</math>

Plugging these into the formula for <math> \lambda </math>,

:<math>
2 \cos(\frac{k \pi}{n+1}) = h^2 \lambda_k + 2
\,\!</math>
:<math>
\lambda_k = -\frac{2}{h^2}(1 - \cos(\frac{k \pi}{n+1})).
\,\!</math>

And using a trig formula to simplify, we find

:<math>
\lambda_k = -\frac{4}{h^2}(\sin^2(\frac{k \pi}{2(n+1)})).
\,\!</math>

===Neumann case===
In the Neumann case, we are solving

:<math> \frac{v_{k+1} -2v_k + v_{k-1}}{h^2} = \lambda v_{k}, \ k = 1,...,n, \ v'_{0.5} = v'_{n+0.5} = 0.
\,\!</math>

In the standard discretization, we introduce <math>v_{0}\,\!</math> and <math>v_{n+1}\,\!</math> and define

:<math>
v'_{0.5} := \frac{v_1 - v_0}{h}, \ v'_{n+0.5} := \frac{v_{n+1} - v_n}{h}
\,\!</math>

The boundary conditions are then equivalent to
:<math>
v_1 - v_0 = 0, \ v_{n+1} - v_n = 0.
</math>

If we make a change of variables,
:<math>
w_k = v_{k+1} - v_k, \ k = 0,...,n
\,\!</math>

we can derive the following:
:<math>
\begin{alignat}{2}
\frac{v_{k+1} -2v_k + v_{k-1}}{h^2} & = \lambda v_{k} \\
v_{k+1} -2v_k + v_{k-1} & = h^2 \lambda v_{k} \\
(v_{k+1} - v_k) - (v_k - v_{k-1}) & = h^2 \lambda v_{k} \\
w_k - w_{k-1} & = h^2 \lambda v_{k}  \\
& = h^2 \lambda w_{k-1} + h^2 \lambda v_{k-1} \\
& =  h^2 \lambda w_{k-1} + w_{k-1} - w_{k-2} \\
w_{k} & = (2 + h^2 \lambda) w_{k-1} - w_{k-2} \\
w_{k+1} & = (2 + h^2 \lambda) w_{k} - w_{k-1} \\
& = 2 \alpha w_k - w_{k-1}.
\end{alignat}
</math>

with <math>w_{n} = w_{0} = 0</math> being the boundary conditions.

This is precisely the Dirichlet formula with <math>n-1</math> interior grid points and grid spacing <math>h</math>. Similar to what we saw in the above, assuming <math> w_{1} \neq 0 </math>, we get

:<math>
\lambda_k = -\frac{4}{h^2}(\sin^2(\frac{k \pi}{n})), \ k = 1,...,n-1.
</math>

This gives us <math>n-1</math> eigenvalues and there are <math>n</math>. If we drop the assumption that <math> w_{1} \neq 0 </math>, we find there is also a solution with <math> v_{k} = constant \  \forall \ k=0,...,n+1, </math> and this corresponds to eigenvalue <math>0</math>.

Relabeling the indices in the formula above and combining with the zero eigenvalue, we obtain,

:<math>
\lambda_k = -\frac{4}{h^2}(\sin^2(\frac{(k-1) \pi}{n})), \ k = 1,...,n.
</math>

===Dirichlet-Neumann Case===

For the Dirichlet-Neumann case, we are solving

:<math> \frac{v_{k+1} -2v_k + v_{k-1}}{h^2} = \lambda v_{k}, \ k=1,...,n, \ v_0 = v'_{n+0.5} = 0.</math>,

where <math> v'_{n+0.5} := \frac{v_{n+1} - v_n}{h}. </math>

We need to introduce auxiliary variables <math> v_{j + 0.5}, \ j = 0,...,n. </math>

Consider the recurrence

:<math> v_{k+0.5} = 2 \beta v_{k} - v_{k-0.5}, \text{ for some }\beta \,\!</math>.

Also, we know <math>v_0 = 0</math> and assuming <math>v_{0.5} \neq 0 </math>, we can scale <math>v_{0.5}</math> so that <math>v_{0.5} = 1.</math>

We can also write
:<math> 
v_{k} = 2 \beta v_{k-0.5} - v_{k-1}
\,\!</math>
:<math>
v_{k+1} = 2 \beta v_{k+0.5} - v_{k}. 
\,\!</math>

Taking the correct combination of these three equations, we can obtain

:<math> v_{k+1} = (4 \beta^2 - 2) v_{k} - v_{k-1}. \,\!</math>

And thus our new recurrence will solve our eigenvalue problem when

:<math> h^2 \lambda + 2 = (4 \beta^2 - 2). \,\!</math>

Solving for <math> \lambda </math> we get 

:<math> \lambda = \frac{4 (\beta^2 - 1)}{h^2}. </math>

Our new recurrence gives 

:<math>v_{n+1} = U_{2n + 1}(\beta), \ v_{n} = U_{2n - 1}(\beta), \,\!</math>

where <math>U_{k}(\beta) </math> again is the kth [[Chebyshev polynomials|Chebyshev polynomial]] of the 2nd kind.

And combining with our Neumann boundary condition, we have

:<math> U_{2n + 1}(\beta) - U_{2n - 1}(\beta) = 0. \,\!</math>

A well-known formula relates the [[Chebyshev polynomials]] of the first kind, <math>T_k(\beta)</math>, to those of the second kind by

:<math>
U_{k}(\beta) - U_{k - 2}(\beta) = T_k (\beta). 
\,\!</math>

Thus our eigenvalues solve 

:<math> T_{2n + 1} (\beta) = 0, \ \lambda = \frac{4 (\beta^2 - 1)}{h^2}. \,\!</math>

The zeros of this polynomial are also known to be

:<math> \beta_{k} = \cos(\frac{\pi (k - 0.5)}{2n + 1}), \ k=1,...,2n + 1 \,\!</math>

And thus 

:<math>
\begin{alignat}{2}
\lambda_{k} & = \frac{4}{h^2}(\cos(\frac{\pi (k - 0.5)}{2n + 1})^2 - 1) \\
& = -\frac{4}{h^2}\sin(\frac{\pi (k - 0.5)}{2n + 1})^2.
\end{alignat}
</math>

Note that there are 2n + 1 of these values, but only the first n + 1 are unique. The (n + 1)th value gives us the zero vector as an eigenvector with eigenvalue 0, which is trivial. This can be seen by returning to the original recurrence. So we consider only the first n of these values to be the n eigenvalues of the Dirichlet - Neumann problem.

:<math>
\lambda_{k} = -\frac{4}{h^2}\sin(\frac{\pi (k - 0.5)}{2n + 1})^2, \ k = 1,...,n.
</math>

[[Category:Operator theory]]
[[Category:Matrix theory]]
[[Category:Numerical differential equations]]
[[Category:Finite differences]]