I understand that if my operator $A$ is a Hermitian, then suppose it has the following eigen vectors $$A|v_1\rangle=\lambda|v_1\rangle:(A).(V_1)=\lambda(V_1)\\ A|v_2\rangle=\beta|v_2\rangle:(A).(V_2)=\beta(V_2)\\ \langle v_2|A|v_1\rangle=\lambda\langle v_2|v_1\rangle:(V_2)^{\dagger}.(A).(V_1)=\lambda(V_2)^{\dagger}.(V_1)\\ \text{since}(A).(V_2)=\beta(V_2)\quad\text{hence}\quad (V2)^{\dagger}.(A)^{\dagger}=\beta(V_2)^{\dagger}$$ Now, if $A$ is a hermitian operator, then $A=A^{\dagger}$, hence $$(V_2)^{\dagger}.(A)^{\dagger}=(V_2)^{\dagger}.(A)=\beta(V_2)^{\dagger}\\ \text{Hence}\quad (V_2)^{\dagger}.(A).(V_1)=\beta(V_2)^{\dagger}(V_1)\\ \text{implies} \quad\langle v_2|A|v_1\rangle =\lambda\langle v_2|v_1\rangle = \beta\langle v_2|v_1\rangle:\lambda\neq\beta\\ \text{Hence}\quad \langle v_2|v_1\rangle=0$$ So, the vectors must be orthogonal to each other and their inner product must be zero, but how do I know in a differential equation if my operator is a hermitian or not and whether I will have quantized solutions whose inner products will be zero? For example the schrodinger wave equation leads to quantized orthogonal solutions. Or rather, how do I extend a matrix based Hermitian operator to a differential equation?
2026-04-02 11:25:06.1775129106
From Hermitian matrix operator to differential equations
1.1k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in LINEAR-ALGEBRA
- An underdetermined system derived for rotated coordinate system
- How to prove the following equality with matrix norm?
- Alternate basis for a subspace of $\mathcal P_3(\mathbb R)$?
- Why the derivative of $T(\gamma(s))$ is $T$ if this composition is not a linear transformation?
- Why is necessary ask $F$ to be infinite in order to obtain: $ f(v)=0$ for all $ f\in V^* \implies v=0 $
- I don't understand this $\left(\left[T\right]^B_C\right)^{-1}=\left[T^{-1}\right]^C_B$
- Summation in subsets
- $C=AB-BA$. If $CA=AC$, then $C$ is not invertible.
- Basis of span in $R^4$
- Prove if A is regular skew symmetric, I+A is regular (with obstacles)
Related Questions in FUNCTIONAL-ANALYSIS
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Why is necessary ask $F$ to be infinite in order to obtain: $ f(v)=0$ for all $ f\in V^* \implies v=0 $
- Prove or disprove the following inequality
- Unbounded linear operator, projection from graph not open
- $\| (I-T)^{-1}|_{\ker(I-T)^\perp} \| \geq 1$ for all compact operator $T$ in an infinite dimensional Hilbert space
- Elementary question on continuity and locally square integrability of a function
- Bijection between $\Delta(A)$ and $\mathrm{Max}(A)$
- Exercise 1.105 of Megginson's "An Introduction to Banach Space Theory"
- Reference request for a lemma on the expected value of Hermitian polynomials of Gaussian random variables.
- If $A$ generates the $C_0$-semigroup $\{T_t;t\ge0\}$, then $Au=f \Rightarrow u=-\int_0^\infty T_t f dt$?
Related Questions in PARTIAL-DIFFERENTIAL-EQUATIONS
- PDE Separation of Variables Generality
- Partial Derivative vs Total Derivative: Function depending Implicitly and Explicitly on Variable
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Harmonic Functions are Analytic Evan’s Proof
- If $A$ generates the $C_0$-semigroup $\{T_t;t\ge0\}$, then $Au=f \Rightarrow u=-\int_0^\infty T_t f dt$?
- Regular surfaces with boundary and $C^1$ domains
- How might we express a second order PDE as a system of first order PDE's?
- Inhomogeneous biharmonic equation on $\mathbb{R}^d$
- PDE: Determine the region above the $x$-axis for which there is a classical solution.
- Division in differential equations when the dividing function is equal to $0$
Related Questions in VECTOR-SPACES
- Alternate basis for a subspace of $\mathcal P_3(\mathbb R)$?
- Does curl vector influence the final destination of a particle?
- Closure and Subsets of Normed Vector Spaces
- Dimension of solution space of homogeneous differential equation, proof
- Linear Algebra and Vector spaces
- Is the professor wrong? Simple ODE question
- Finding subspaces with trivial intersection
- verifying V is a vector space
- Proving something is a vector space using pre-defined properties
- Subspace of vector spaces
Related Questions in MATHEMATICAL-PHYSICS
- Why boundary conditions in Sturm-Liouville problem are homogeneous?
- What is the value of alternating series which I mention below
- Are there special advantages in this representation of sl2?
- Intuition behind quaternion multiplication with zero scalar
- Return probability random walk
- "Good" Linear Combinations of a Perturbed Wave Function
- Yang–Mills theory and mass gap
- Self adjoint operators on incomplete spaces
- Algebraic geometry and algebraic topology used in string theory
- Compute time required to travel given distance with constant acceleration and known initial speed
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- 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?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- 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
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- 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)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Disclaimer: I don't know the answer to the question "how do I extend a matrix based Hermitian operator to a differential equation?". I know the answers to the previous questions raised in the post, so, here they are.
Let us establish a few definitions. The notion of hermiticity is tied to the notion of an inner product. In general, for a complex vector space $V$ if $\langle-,-\rangle:V \times V \to V$ is a hermitian inner product then the hermitian adjoint of an operator $A: V \to V$ is defined to be another operator $A^\dagger: V \to V$ that satisfies: $$ \langle u, A(v) \rangle = \langle A^\dagger(u), v \rangle\,. $$ for any choice of vectors $u, v \in V$. An operator $A$ is called hermitian if it is equal to its hermitian adjoint. In your example, given two vectors $V_1$ and $V_2$ (which are column matrices with complex entries), their inner product is defined as $$\langle V_2, V_1 \rangle := V_2^\dagger \cdot V_1\,. \tag{ip1}$$ With respect to this inner product, hermitian adjoint of a matrix operator is the same as the transpose conjugate (denoted conveniently by $\dagger$) of that matrix, since for any two column matrices $V_1$ and $V_2$ and any square matrix $A$ that acts on these column matrices we get: $$ \langle V_2, A \cdot V_1 \rangle = V_2^\dagger \cdot A \cdot V_1 = (A^\dagger \cdot V_2) \cdot V_1 = \langle A^\dagger \cdot V_2, V_1 \rangle\,. $$ Therefore, with respect to the inner product (ip1), a matrix is hermitian if it satisfies $A^\dagger = A$, as you have mentioned.
To know whether a differential operator is hermitian or not first you must establish a definition of a hermitian inner product on the complex vector space of functions (on which the differential operator acts).
Example: As our complex vector space of functions, let us take the space of square integrable complex functions on $\mathbb R$ (such functions will be called "$L^2$") and as our differential operator let us take $\hat D:= \frac{\mathrm{d^2}}{\mathrm{d x^2}}$ where $x$ is the coordinate on $\mathbb R$. We also need an inner product: for any two $L^2$ functions $f$ and $g$ we define their inner product as: $$ \langle f, g \rangle := \int_{\mathbb R} \mathrm dx\, f(x)^* g(x)\,. \tag{ip2}$$ Now we can find out what the hermitian adjoint of $\hat D$ is. Recall that $\hat D^\dagger$ is an operator that satisfies $\langle \hat D^\dagger f, g \rangle = \langle f, \hat D g \rangle$ for any two arbitrary $L^2$ functions $f$ and $g$. Using the integration by parts twice we find: $$ \langle f, \hat D g \rangle = \int_{\mathbb R} \mathrm dx f(x)^* \frac{\mathrm{d^2} g(x)}{\mathrm d x^2} = -\int_{\mathbb R} \mathrm dx \frac{\mathrm df(x)^*}{\mathrm d x} \frac{\mathrm{d} g(x)}{\mathrm d x} = \int_{\mathbb R} \mathrm dx \frac{\mathrm{d^2} f(x)^*}{\mathrm d x^2} g(x) = \langle \hat D f, g\rangle\,. $$ Therefore we conclude that with respect to the inner product (ip2), the operator $\hat D$ satisfies $\hat D^\dagger = \hat D$, therefore, it is hermitian.
Edit: Apart from the functions being $L^2$ I am also assuming them to be at least twice differentiable so that I can define the action of $\frac{\mathrm{d}^2}{\mathrm dx^2}$, I am also assuming that the functions have some boundary condition (such as vanishing at infinty) that allows me neglect the boundary terms coming from integration by parts.
Note that the differential operator $\frac{\mathrm d}{\mathrm d x}$ is not hermitian with respect to the inner product (ip2) since integration by parts now gives $\langle f, \frac{\mathrm d}{\mathrm d x} g \rangle = -\langle \frac{\mathrm d}{\mathrm d x} f, g \rangle$. So the operator is in fact anti-hermitian: $\left(\frac{\mathrm d}{\mathrm dx}\right)^\dagger = -\frac{\mathrm d}{\mathrm dx}$.
Your proof of orthogonality of eigenvectors of a hermitian operator holds in general. But whether the eigenvalues will be discrete (quantized) or not depends on the space on which the functions are defined. If the space is compact (such as a circle, or a finite interval (a.k.a. the infinite square well in quantum mechanics)) then the eigenvalues will be discrete, if the space is non-compact (such as $\mathbb R$ from the previous example) the eigenvalues will be continuous unless we impose some extra constraints on the functions to restrict to a space with discrete spectrum (eigenvalues) for the operator. You can only write operators as square matrices and vectors as column matrices if the operators have discrete spectrum.
Edit: (Correction, as pointed out by Chappers in the comment) It is possible to have discrete eigenvalues for differential operators on noncompact spaces if the function space is restricted by strong enough boundary conditions (that allows to normalize them for example).
The differential operator in the (assuming time-independent) Schrödinger equation, for a particle moving in a one dimensional space, is: $$ \hat D_\psi := -\frac{\hbar^2}{2m} \frac{\mathrm d^2}{\mathrm d^2 x} + V(x)\,, $$ and the inner product of wave functions is exactly as we defined in (ip2). Therefore, if the potential $V(x)$ is a real function, then the operator $\hat D_\psi$ is hermitian, since we have already proved that the second derivative is hermitian and you can check that multiplication by a real function is hermitian as well. Hermiticity leads to orthogonal eigenvector. But once again, the eigenvalues are discrete if the space in which the paticle moves is compact, or if we impose normalizability which is usually assumed in physical scenarios.
This seems too complicated for me, I'm afraid. The problem is to find a space on which there is some operator that acts on (perhaps a restricted set of) functions defined on that space and the eigenvalues of that operator coincides with the eigenvalues of the matrix. I can not say anything useful about how to proceed, sorry!