A linear operator on a Banach space is called a dissipative operator when
On a Hilbert space, using the inner product linear in its first argument,
If , this proves the defining inequality. Conversely that inequality implies for every ; letting gives
For the next spectral assertion, dissipativity must be retained as a hypothesis. Let be closed, densely defined and dissipative. For , the dissipative bound makes injective. Its range is closed: if , the bound makes Cauchy, and then converges. Closedness produces a preimage of . If the range is all of , the same bound gives a bounded inverse, so is in the resolvent set. If the closed range is proper, there is a nonzero vector in its orthogonal complement, and the definition of the adjoint of a densely defined operator gives
This proves that the positive spectrum of a dissipative operator is adjoint point spectrum:
Without dissipativity the PDF's assertion is false. For example, multiplication by on is bounded, closed and densely defined. The value is spectral: normalized functions supported closer and closer to make tend to zero. But has no eigenvector for eigenvalue , since a square-integrable function supported on the singleton is zero.
For the given maximal-domain operator , finite-support sequences belong to , so the domain is dense. Coordinatewise limits also show it is closed: if and in , each defining coordinate equation passes to the limit, giving and hence .
Put and . For ,
Since by Cauchy-Schwarz inequality, has a finite limit . Its increments are square summable as well. Direct summation gives
The original inner-product series converges because . Taking therefore gives
Thus is dissipative, including its full maximal domain; the limiting boundary term has not been discarded.
To decide generation, solve for arbitrary and fixed . The first coordinate gives , and the rest give
Because all denominators are at least one,
Hence is bounded, so belongs to . The coordinate equations give , proving and surjectivity of . Together with density, closedness and dissipativity, the Lumer-Phillips theorem proves the contraction generator from an exponentially weighted difference operator conclusion:
The domain is crucial. The formal transposed matrix suggests a positive-eigenvalue solution
which is square summable because the products converge. It is not a true adjoint eigenvector: the admissible test vector has , so , while . These cannot agree for unless . This exemplifies how boundary terms exclude formal adjoint eigenvectors, and explains why a calculation using only finite-support test vectors would give the wrong generation answer.
At the origin's matrix is : it has a double zero eigenvalue and one eigenvector. Trace and determinant vary independently with and there, so two parameters are needed. The symmetry of an odd function removes quadratic terms, giving a reflection-symmetric cubic double-zero normal form. The quadratic nonlinearity required for a generic Bogdanov–Takens bifurcation vanishes.
Use a prime for differentiation with respect to the rescaled time. Direct substitution, with all rescaled variables written without tildes, gives
At , the equations are , . For
differentiation gives . This is the Hamiltonian blow-up of a reflection-symmetric double-zero point.
For , the equilibrium points are a centre equilibrium at and saddles at . The centre equilibrium has eigenvalues ; at either saddle equilibrium they are . Levels contain closed inner ovals around the centre equilibrium. The saddle equilibrium level has
These two branches form a heteroclinic cycle connecting the saddles. The branch with runs from the lower saddle equilibrium to the upper one because ; the other runs back. Outside the potential well, trajectories are open. The right panel of the preceding figure uses the coordinates to display the well and these directed connections.
Assume the consistency regularity implicit in the requested rate, for example on the closed square. Bounded fourth derivatives and Taylor's theorem give a uniform residual with . Subtracting the exact grid values from the numerical equations gives , with zero boundary error.
Let be the unscaled positive Dirichlet matrix. Its eigenvectors are products of discrete sine vectors, which form an orthogonal basis; direct substitution gives eigenvalues
Since for , . Therefore . The error equation is , and its residual has norm . Combining the bounds yields
This is the unweighted grid error for the five-point Poisson formula. The unweighted norm loses one power of because the grid has order points; the area-weighted norm is second-order accurate. A regularity assumption is needed for the uniform truncation estimate and hence for this rate; the question does not specify it explicitly.
Choose a nonzero vector in an irreducible representation. Its finite group orbit spans a finite-dimensional invariant subspace, which must be the whole representation. The representing matrices of an abelian group commute. Choose an eigenspace of one matrix; all other matrices preserve it. Repeatedly choosing an eigenspace for the restrictions of the remaining matrices gives a common eigenvector. Its line is invariant under the whole group. Irreducibility therefore makes the representation that line, proving every irreducible complex representation of a finite abelian group is one-dimensional.
A bounded operator on a complex Hilbert space is self-adjoint when , equivalently . The spectral theorem for compact self-adjoint operators says its nonzero spectrum consists of real eigenvalues of finite multiplicity, with at most countably many and with accumulation possible only at zero. Their eigenspaces are mutually orthogonal; their closed span is the orthogonal complement of the kernel. On that span the operator has the norm-convergent spectral action .
Take and . It is self-adjoint and has infinite-dimensional range. Truncation to the first coordinates is a finite-rank operator and differs from in norm by , so is compact.
The resolvent set comprises those for which has a bounded everywhere-defined inverse; its complement is the spectrum, and the point spectrum consists of eigenvalues. In this example
For outside the displayed closed set the inverse is diagonal with entries uniformly bounded, proving membership of the resolvent. Each has eigenvector . Zero is not an eigenvalue, but prevents a bounded inverse; also has no preimage since that would be the non-square-summable constant sequence. This justifies every asserted spectral case.
Use
It has independent complex eigenvectors and , with eigenvalues and . Taking these as columns gives an invertible complex matrix with , so is a diagonalizable matrix over . It cannot be diagonalized over , since a real diagonal matrix would have real eigenvalues, whereas similarity preserves the characteristic polynomial.
Take the Jordan block
Its only eigenvalue is one. An eigenvector satisfies , so its second coordinate vanishes; the eigenspace is one-dimensional. A diagonalizable matrix of size two requires a basis of two independent eigenvectors, which this matrix lacks even over .
Allow an eigenvector to have complex entries, since real matrices can initially have complex eigenvalues. Write for its conjugate transpose. Reality of gives ; symmetry then gives . Thus is a Hermitian matrix. The scalar equals its complex conjugate, because . If , then
since . This proves that all eigenvalues are real. The equality is precisely where reality was used; a complex symmetric matrix need not be Hermitian, as illustrates.
If and , then , but also . Consequently . Distinct eigenvalues force . For real eigenvectors this is ordinary Euclidean orthogonality. These arguments establish real symmetric spectral orthogonality without assuming a diagonalization in advance.
A real orthogonal matrix satisfies , equivalently . If is symmetric,
so orthogonal similarity preserves symmetry. An arbitrary real invertible change of basis need not do so. For example,
The final matrix is not symmetric. Orthogonal similarity preserves real symmetry; general similarity does not.
In the given basis, the matrix is . Let , a primitive cube root of unity. For each ,
Thus these are eigenvectors with distinct eigenvalues , respectively, and form an eigenbasis. Set
The columns are mutually orthogonal with squared norm three, so . The diagonalization and characteristic polynomial are
Scaling by gives a unitary diagonalizing matrix.
Let and . The Richardson iteration gives
By the spectral theorem, a real symmetric positive definite matrix has an orthonormal eigenbasis with positive eigenvalues . The error in the th eigenvector direction is multiplied by . Thus convergence for every initial vector occurs exactly when for every , or . Since ,
Necessity also follows from an initial error in an offending eigenvector direction. At it remains unchanged; at the largest-eigenvalue error alternates sign; outside the interval some error does not decay. Hence neither endpoint can be included.
Each endomorphism has three distinct eigenvalues in a three-dimensional complex vector space. Choose a nonzero eigenvector for each eigenvalue; these vectors are linearly independent and hence form an eigenbasis. Both operators are therefore diagonalizable with diagonal matrix .
Their characteristic polynomials are
If a polynomial annihilates either operator, applying it to each eigenvector gives . Thus its minimal polynomial must contain all three factors. Conversely, their product annihilates the diagonal matrix, so
Finally, send an ordered eigenbasis of to the correspondingly ordered eigenbasis of . The resulting invertible map satisfies , and hence : the two endomorphisms are conjugate.
Expand the initial wavefunction in the complete orthonormal energy eigenstates, with . The unitary time evolution is
On the two-dimensional subspace spanned by , the observable has matrix . Its normalized eigenvectors are the symmetric and antisymmetric combinations. A complete orthonormal eigenbasis is therefore
The eigenvalues are , with infinitely degenerate. The first two are nondegenerate, regardless of the distinct energies .
The first measurement in quantum mechanics, with outcome , leaves the state up to an irrelevant phase. At time it has become
Its probability amplitude for outcome is
The Born rule gives the two-level observable transition probability
Write for the scalar quotient. Local strongly continuous sections exist: near a fixed projective unitary, fix its phase by requiring one nonzero matrix coefficient, taken relative to a fixed representative, to be positive real. Thus the pullback is a locally trivial central extension of the circle by the circle. It is compact, since finitely many closed arcs inside such trivializing neighbourhoods cover the compact base and each pullback is a product with the compact fibre.
Any two lifts commute up to a scalar. Their commutator defines a continuous alternating bicharacter on the base: the scalar commutator is independent of phase choices and multiplicative in each argument. If is an irrational rotation, its powers are dense and for every integer . Continuity makes for every . Such are themselves dense, so all the lifts commute, and is abelian.
The tautological representation is strongly continuous. Choose a unit vector and average its rank-one orthogonal projection over Haar measure on :
The integrand is trace-norm continuous, so is positive compact with trace one, and commutes with . A positive eigenvalue has a nonzero finite-dimensional eigenspace invariant under . Commuting unitary matrices on that space have a common unit eigenvector . Therefore for a continuous character of .
On the central fibre, , so . Consequently
is independent of that lift. It is a homomorphism and strongly continuous, because the continuous map on descends through its quotient to the base. It satisfies . This proves circle projective representations lift to unitary representations using an actual central character, rather than assuming a global choice of phases.
Use the unitary normalization of the Fourier transform,
The Schwartz space consists of smooth functions for which every Schwartz seminorm is finite. Such functions and all their derivatives are integrable. Differentiating under the integral and integrating by parts give
Consequently
Expand the derivative by the product rule and insert the integrable weight ; the right side is bounded by finitely many Schwartz seminorms of . This proves continuity . The identical argument with the opposite sign proves continuity of .
For surjectivity and injectivity an inversion proof is needed. If , multiply by . Fubini's theorem and the elementary Gaussian integral give
The Gaussian has total integral one and its mass outside any fixed ball tends to zero. The right side therefore tends to , by uniform continuity of . On the left, , so dominated convergence gives . This proves . Reversing the signs in the same calculation proves . Thus
Its inverse is continuous by the seminorm estimate already proved. This establishes the requested bijection without assuming Fourier inversion as an unexplained theorem.
Inversion gives and the Parseval identity. Indeed, inserting the integral for into and using gives . Density of Schwartz functions in extends to a unitary operator on , the Plancherel theorem. Translation of becomes multiplication by a phase, modulation becomes frequency translation, and
These formulas explain why the Fourier transform diagonalizes constant-coefficient differential operators. By transpose it also defines a bijection of the tempered distributions: with the complex-linear distributional pairing, , since the Fourier kernel is symmetric in its variables.
The connection with creation and annihilation operators is especially transparent for the harmonic oscillator. On the common invariant dense domain , set
Integration by parts shows that these are formal Hilbert-space adjoints. They are closable unbounded operators; commutators below are computed on , avoiding undefined products on arbitrary vectors. The identity gives the canonical commutation relations
It also gives
The normalized vacuum satisfies . Define the Hermite functions
Moving annihilation operators past creation operators with the commutation relations proves
These same relations show that the Hermite functions are orthonormal: unequal occupations are orthogonal eigenvectors of one of the commuting symmetric number operators , and the ladder relations recursively give norm one.
For completeness, let be orthogonal to every . The Hermite polynomials have nonzero leading monomials and triangular lower-degree terms, so these orthogonality relations say that all polynomial moments of vanish. Its Fourier integral extends to an entire function of :
The Cauchy-Schwarz inequality, with the Gaussian absorbing every exponential linear weight and every polynomial, justifies differentiation uniformly on compact sets of . Every Taylor coefficient at zero is a vanishing moment, so the entire function is zero. Fourier uniqueness on follows here without circularity: if an function has zero Fourier transform, convolving it with gives zero by the Gaussian integral and Fubini, and the approximate-identity limit in gives the original function zero. Thus and . The Hermite functions form an orthonormal basis of .
Finally, the elementary Gaussian integral gives . The derivative and multiplication identities above imply
where the operators on the right act on the frequency variable. Hence
Thus creation and annihilation organize both the oscillator's spectral decomposition and the four possible Fourier eigenvalues. On Schwartz functions the oscillator powers control weighted derivatives, and Hermite coefficients decay faster than every power of ; conversely this rapid coefficient decay implies all Schwartz seminorms are finite. The Fourier phases preserve this decay, providing another explanation of the Fourier automorphism of Schwartz space.
Fix the quantum enveloping algebra of sl2 convention
The printed pair of matrices contains an error. On its first basis vector, the printed matrices give , whereas the defining commutator gives . Since is not a root of unity, : would give , and would give . Thus the two printed matrices cannot represent this algebra. Keeping the printed matrix requires exchanging the two nonzero entries of the printed matrix. We derive that corrected pair rather than assume a classification theorem.
As is not a root of unity, successive applications of multiply eigenvalues by . Finiteness of the spectrum therefore makes a nilpotent operator. Start from a eigenvector and apply until the last nonzero vector ; then and , with . The defining commutator gives the highest-weight string for quantum sl2
For completeness, at this is the commutator applied to . To advance from to , write , use , and combine the two coefficients; their sum is the displayed coefficient at .
Let be the first index with . Such an index exists because nonzero have distinct eigenvalues . The linear span of is stable under , so simplicity makes it all of . The distinct eigenvalues make these vectors independent; hence . Applying the string formula to gives
As and , , so with .
Choose the basis , , . Then , , and . The correct matrices in this basis are
Alternatively, preserving the printed instead requires , . Both corrected pairs are related by a diagonal change of basis.