Consider the creation operator $L^{+}=-\frac{d}{dx}+x$. If $u\in L^2(\mathbb{R})$ and is a distribution solution to the equation $L^{+}u=0$, then for any $\phi\in C_0^{\infty}(\mathbb{R})$ we have $\int ((\frac{d}{dx}+x)\phi)u=0 $. But I cannot see why $u=0$.
2025-01-12 23:39:00.1736725140
The distribution solution to $L^{+} u=0$ is u=0, where $L^{+}=-\frac{d}{dx}+x$?
65 Views Asked by emo_nal https://math.techqa.club/user/emo-nal/detail At
1
There are 1 best solutions below
Related Questions in ORDINARY-DIFFERENTIAL-EQUATIONS
- General solution to a system of differential equations
- ODE existence of specific solutions
- How to Integrate the Differential Equation for the Pendulum Problem
- Question about phase portrait and invariant subspaces
- Help in Solving a linear Partial differential equation
- Elimination of quantifiers in the strucure of polynomials and in the structure of exponentials
- Verifying general solution to differential equation
- Integrating $ \frac{\mathrm{d}^{2}v}{\mathrm{d}y^{2}} = \frac{\mathrm{d}p}{\mathrm{d}x} $
- Solving differential equation and obtain expressions for unknowns?
- For what value of $k$ is $2e^{4x}-5e^{10x}$ a solution to $y''-ky'+40y=0$?
Related Questions in SPECTRAL-THEORY
- Complete orthonormal system of eigenfunctions for trace-class nonnegative operator on a Hilbert space
- Finding the spectral representation of the Delta function given the Green function of an operator
- Example of an operator whose spectrum satisfies this condition
- Dirichlet eigenfunction cannot be extended to a continuous function on the closure
- Calabi's theorem
- Convert partial fraction to continued fraction?
- To prove this associative statement about spectral theory
- The Laplacian as the difference between mean value and a point
- Ordering: Definition
- Reference for Harmonic Analysis?
Related Questions in HARMONIC-ANALYSIS
- Counterexample to $L^1$-boundedness of the maximal operator $f \mapsto f^\#$ with $f^{\sharp}(x):=\sup_{Q\ni x}\frac{1}{|Q|}\int_{Q}|f-(f)_{Q}|dy$
- (Exponential) Growth of Operator Norm of Uncentered Maximal Function
- BMO space and log-lipschitz regularity
- Some properties of the homogeneous spaces on $\mathbb{T}$
- A question on maximal operator in Stein's real variable methods, orthogonality and oscillatory integrals.
- Haar measure on $\mathbb{C} \setminus 0$.
- *-representations, unitary representations, and adjunctions
- Fourier Transform of Distribution Equal to the Distribution Itself
- Reference for Harmonic Analysis?
- The distribution solution to $L^{+} u=0$ is u=0, where $L^{+}=-\frac{d}{dx}+x$?
Related Questions in QUANTUM-MECHANICS
- How to plot a qubit on the Bloch sphere?
- Probability of a qubit state
- How to calculate this Delta Dirac Integral?
- Any closed form for this expression?$ \sum_{k=0,\,l=0}^{k=n,\,l=m}\frac{\lambda^{l+k}}{k!\,l!}\sqrt{\frac{n!\,m!}{(n-k)!(m-l)!}}\delta_{n-k,\,m-l}$
- Entanglement and linear algebra
- Perturbation theory, why are the assumptions of the method satisfied?
- Double-commutator $[f,[f, - \Delta]] = -2 |\nabla f|^2.$
- Compatible Hilbert space subspaces - need help understanding a statement made in a book
- Properties of Hermitian matrices
- Finding the adjoint of a linear operator using Dirac notation.
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Let $u$ satisfies
$$\int (\phi'(x) + x\phi(x)) u(x) dx = 0$$
for all compactly supported smooth $\phi$. First we state the following lemma (prove at the end):
Now we show:
Let $g\in C^\infty_c(\mathbb R)$. Then the function $$\phi(x) := e^{-\frac{x^2}{2}} \left( \int_{-\infty}^x e^{\frac{t^2}{2} }g(t) dt\right)$$ satisfy $\phi'(x) + x\phi (x) = g(x)$ for all $x$. Note that as $g$ is of compact support, $\phi$ satisfies the condition in lemma 1. Thus
$$\int gu = \int (\phi' + x\phi) u = 0.$$
Now we have that $u$ is orthogonal to a dense subset $C^\infty_c(\mathbb R)$ in $L^2(\mathbb R)$, so we must have $u = 0 \in L^2(\mathbb R)$.
It remains to prove lemma 1:
Proof of lemma 1: To see this, let $C' >D$ and $f$ be a smooth function so that $0\le f\le 1$ on $\mathbb R$,
$$f(x) =\begin{cases} 0 & \text{when }x \le C' \\\text{increasing} & \text{when } C'\le x \le C'+1 \\ 1 & \text{when } x\ge C'+1 \end{cases}$$
Then let $g = 1-f$. Now we have
$$\begin{split} \int \left( \frac{d}{dx} + x\right) \phi u &= \int \left( \frac{d}{dx} + x\right) (f+ g)\phi u \\ &= \int \left( \frac{d}{dx} + x\right) f\phi u + \int \left( \frac{d}{dx} + x\right) g\phi u \\ &= \int \left( \frac{d}{dx} + x\right) (f\phi) u \end{split}$$
as $g\phi$ is of compact support. Now as $C' >D$, $\phi (x) = C e^{-\frac{x^2}{2}}$, so
$$ \left( \frac{d}{dx} + x\right) (f\phi) = \frac{df}{dx} \ C e^{-\frac{x^2}{2}}.$$
So by Cauchy-Schwarz inequality,
$$\left| \int \left( \frac{d}{dx} + x\right) \phi u\right| = \left|\int \frac{df}{dx} \ e^{-\frac{x^2}{2}} u\right| \le \sqrt{ \int_{C'}^{C'+1} \left(C\frac{df}{dx}e^{-\frac{x^2}{2}}\right)^2 } \ \|u\|_{L^2}\to 0$$
as we can choose $C' >D$ as large as possible.