Adjoint of an operator

In mathematics, specifically in operator theory, each linear operator $A$ on a Euclidean vector space defines a Hermitian adjoint (or adjoint) operator $A^*$ on that space according to the rule

:$\langle Ax,y \rangle = \langle x,A^*y \rangle,$

where $\langle \cdot,\cdot \rangle$ is the inner product on the vector space.

The adjoint may also be called the Hermitian conjugate or simply the Hermitian after Charles Hermite. It is often denoted by in fields like physics, especially when used in conjunction with bra–ket notation in quantum mechanics. In finite dimensions where operators are represented by matrices, the Hermitian adjoint is given by the conjugate transpose (also known as the Hermitian transpose).

The above definition of an adjoint operator extends verbatim to bounded linear operators on Hilbert spaces $H$. The definition has been further extended to include unbounded '' densely defined'' operators whose domain is topologically dense in—but not necessarily equal to—$H.$

Informal definition

Consider a linear map $A: H_1\to H_2$ between Hilbert spaces. Without taking care of any details, the adjoint operator is the (in most cases uniquely defined) linear operator $A^* : H_2 \to H_1$ fulfilling
:$\left\langle A h_1, h_2 \right\rangle_ = \left\langle h_1, A^* h_2 \right\rangle_,$

where $\langle\cdot, \cdot \rangle_$ is the inner product in the Hilbert space $H_i$, which is linear in the first coordinate and antilinear in the second coordinate. Note the special case where both Hilbert spaces are identical and $A$ is an operator on that Hilbert space.

When one trades the inner product for the dual pairing, one can define the adjoint, also called the transpose, of an operator $A: E \to F$, where $E, F$ are Banach spaces with corresponding norms $\, \cdot\, _E, \, \cdot\, _F$. Here (again not considering any technicalities), its adjoint operator is defined as $A^*: F^* \to E^*$ with
:$A^*f = f \circ A : u \mapsto f(Au),$

I.e., $\left(A^*f\right)(u) = f(Au)$ for $f \in F^*, u \in E$.

Note that the above definition in the Hilbert space setting is really just an application of the Banach space case when one identifies a Hilbert space with its dual. Then it is only natural that we can also obtain the adjoint of an operator $A: H \to E$, where $H$ is a Hilbert space and $E$ is a Banach space. The dual is then defined as $A^*: E^* \to H$ with $A^*f = h_f$ such that
:$\langle h_f, h\rangle_H = f(Ah).$

Definition for unbounded operators between Banach spaces

Let $\left(E, \, \cdot\, _E\right), \left(F, \, \cdot\, _F\right)$ be Banach spaces. Suppose $A: D(A) \to F$ and $D(A) \subset E$, and suppose that $A$ is a (possibly unbounded) linear operator which is densely defined (i.e., $D(A)$ is dense in $E$). Then its adjoint operator $A^*$ is defined as follows. The domain is
:$D\left(A^*\right) := \left\$.

Now for arbitrary but fixed $g \in D(A^*)$ we set $f: D(A) \to \R$ with $f(u) = g(Au)$. By choice of $g$ and definition of $D(A^*)$, f is (uniformly) continuous on $D(A)$ as $, f(u), = , g(Au), \leq c\cdot \, u\, _E$. Then by Hahn–Banach theorem or alternatively through extension by continuity this yields an extension of $f$, called $\hat$ defined on all of $E$. Note that this technicality is necessary to later obtain $A^*$ as an operator $D\left(A^*\right) \to E^*$ instead of $D\left(A^*\right) \to (D(A))^*.$ Remark also that this does not mean that $A$ can be extended on all of $E$ but the extension only worked for specific elements $g \in D\left(A^*\right)$.

Now we can define the adjoint of $A$ as
:$\begin A^*: F^* \supset D(A^*) &\to E^* \\ g &\mapsto A^*g = \hat f \end$

The fundamental defining identity is thus

:$g(Au) = \left(A^* g\right)(u)$ for $u \in D(A).$

Definition for bounded operators between Hilbert spaces

Suppose is a complex Hilbert space, with inner product $\langle\cdot,\cdot\rangle$. Consider a continuous linear operator (for linear operators, continuity is equivalent to being a bounded operator). Then the adjoint of is the continuous linear operator satisfying

: $\langle Ax , y \rangle = \left\langle x , A^* y\right\rangle \quad \mbox x, y \in H.$

Existence and uniqueness of this operator follows from the Riesz representation theorem.;

This can be seen as a generalization of the ''adjoint'' matrix of a square matrix which has a similar property involving the standard complex inner product.

Properties

The following properties of the Hermitian adjoint of bounded operators are immediate:
# Involutivity:
# If is invertible, then so is , with $\left(A^*\right)^ = \left(A^\right)^*$
# Anti-linearity:
#*
#* , where denotes the complex conjugate of the complex number
# " Anti-distributivity":

If we define the operator norm of by
:$\, A \, _\text := \sup \left\$

then
:$\left\, A^* \right\, _\text = \, A\, _\text.$

Moreover,
:$\left\, A^* A \right\, _\text = \, A\, _\text^2.$

One says that a norm that satisfies this condition behaves like a "largest value", extrapolating from the case of self-adjoint operators.

The set of bounded linear operators on a complex Hilbert space together with the adjoint operation and the operator norm form the prototype of a C*-algebra.

Adjoint of densely defined unbounded operators between Hilbert spaces

Definition

Let the inner product $\langle \cdot, \cdot \rangle$ be linear in the ''first'' argument. A densely defined operator from a complex Hilbert space to itself is a linear operator whose domain is a dense linear subspace of and whose values lie in . By definition, the domain of its adjoint is the set of all for which there is a satisfying
: $\langle Ax , y \rangle = \langle x , z \rangle \quad \mbox x \in D(A).$

Owing to the density of $D(A)$ and Riesz representation theorem, $z$ is uniquely defined, and, by definition, $A^*y=z.$

Properties 1.–5. hold with appropriate clauses about domains and codomains. For instance, the last property now states that is an extension of if , and are densely defined operators.

ker A=(im A)

For every $y \in \ker A^*,$ the linear functional $x \mapsto \langle Ax,y \rangle = \langle x,A^*y\rangle$ is identically zero, and hence $y \in (\operatorname A)^\perp.$

Conversely, the assumption that $y \in (\operatorname A)^\perp$ causes the functional $x \mapsto \langle Ax,y \rangle$ to be identically zero. Since the functional is obviously bounded, the definition of $A^*$ assures that $y \in D(A^*).$ The fact that, for every $x \in D(A),$ $\langle Ax,y \rangle = \langle x,A^*y\rangle = 0$ shows that $A^* y \in D(A)^\perp =\overline^\perp = \,$ given that $D(A)$ is dense.

This property shows that $\operatornameA^*$ is a topologically closed subspace even when $D(A^*)$ is not.

Geometric interpretation

If $H_1$ and $H_2$ are Hilbert spaces, then $H_1 \oplus H_2$ is a Hilbert space with the inner product

:$\bigl \langle (a,b),(c,d) \bigr \rangle_ \stackrel \langle a,c \rangle_ + \langle b,d \rangle_,$

where $a,c \in H_1$ and $b,d \in H_2.$

Let $J\colon H\oplus H \to H \oplus H$ be the symplectic mapping, i.e. $J(\xi, \eta) = (-\eta, \xi).$ Then the graph
:$G(A^*) =\ \subseteq H \oplus H$
of $A^*$ is the orthogonal complement of $JG(A):$
:$G(A^*) = (JG(A))^\perp = \.$

The assertion follows from the equivalences

:$\bigl \langle (x, y) , (-A\xi, \xi) \bigr \rangle = 0 \quad \Leftrightarrow \quad \langle A\xi, x \rangle = \langle \xi, y \rangle,$

and

:\Bigl \forall \xi \in D(A)\ \ \langle A\xi, x \rangle = \langle \xi, y \rangle \Bigr \quad \Leftrightarrow \quad x \in D(A^*)\ \&\ y = A^*x.

Corollaries

=A is closed

=
An operator $A$ is ''closed'' if the graph $G(A)$ is topologically closed in $H \oplus H.$ The graph $G(A^*)$ of the adjoint operator $A^*$ is the orthogonal complement of a subspace, and therefore is closed.

=A is densely defined ⇔ A is closable

=
An operator $A$ is ''closable'' if the topological closure $G^\text(A) \subseteq H \oplus H$ of the graph $G(A)$ is the graph of a function. Since $G^\text(A)$ is a (closed) linear subspace, the word "function" may be replaced with "linear operator". For the same reason, $A$ is closable if and only if $(0,v) \notin G^\text(A)$ unless $v=0.$

The adjoint $A^*$ is densely defined if and only if $A$ is closable. This follows from the fact that, for every $v \in H,$

:$v \in D(A^*)^\perp\ \Leftrightarrow\ (0,v) \in G^\text(A),$

which, in turn, is proven through the following chain of equivalencies:
:$\begin v \in D(A^*)^\perp &\Longleftrightarrow (v,0) \in G(A^*)^\perp \Longleftrightarrow (v,0) \in (JG(A))^\text = JG^\text(A) \\ &\Longleftrightarrow (0,-v) = J^(v,0) \in G^\text(A) \\ &\Longleftrightarrow (0,v) \in G^\text(A). \end$

=A = A

=
The ''closure'' $A^\text$ of an operator $A$ is the operator whose graph is $G^\text(A)$ if this graph represents a function. As above, the word "function" may be replaced with "operator". Furthermore, $A^ = A^,$ meaning that $G(A^) = G^(A).$

To prove this, observe that $J^* = -J,$ i.e. $\langle Jx,y\rangle_ = -\langle x,Jy\rangle_,$ for every $x,y \in H \oplus H.$ Indeed,
:$\begin \langle J(x_1,x_2),(y_1,y_2)\rangle_ &= \langle (-x_2,x_1),(y_1,y_2)\rangle_ = \langle -x_2,y_1\rangle_H + \langle x_1,y_2 \rangle_H \\ &= \langle x_1,y_2 \rangle_H + \langle x_2,-y_1 \rangle_H = \langle (x_1,x_2),-J(y_1,y_2)\rangle_. \end$
In particular, for every $y \in H \oplus H$ and every subspace $V \subseteq H \oplus H,$ $y \in (JV)^\perp$ if and only if $Jy \in V^\perp.$ Thus, J JV)^\perp= V^\perp and [(JV)^\perp^\perp_=_V^\text._Substituting_$_V_=_G(A),$_obtain_$_G^\text(A)_=_G(A^).$

_=A_=_(A)

=
For_a_closable_operator_$A,$_$_A^*_=_\left(A^\text\right)^*,_$_meaning_that_$G(A^*)_=_G\left(\left(A^\text\right)^*\right).$_Indeed,
:$G\left(\left(A^\text\right)^*\right)_=_\left(JG^\text(A)\right)^\perp_=_\left(\left(JG(A)\right)^\text\right)^\perp_=_(JG(A))^\perp_=_G(A^*).$

_Counterexample_where_the_adjoint_is_not_densely_defined

Let_$H=L^2(\mathbb,l),$_where_$l$_is_the_linear_measure._Select_a_measurable,_bounded,_non-identically_zero_function_$f_\notin_L^2,$_and_pick_$\varphi_0_\in_L^2_\setminus_\.$_Define

:$A_\varphi_=_\langle_f,\varphi\rangle_\varphi_0.$

It_follows_that_$D(A)_=_\.$_The_subspace_$D(A)$_contains_all_the_$L^2$_functions_with_compact_support._Since_$\mathbf__\cdot_\varphi\_\stackrel\_\varphi,$_$A$_is_densely_defined._For_every_$\varphi_\in_D(A)$_and_$\psi_\in_D(A^*),$

:$\langle_\varphi,_A^*\psi_\rangle_=_\langle_A\varphi,_\psi_\rangle_=_\langle_\langle_f,\varphi_\rangle\varphi_0,_\psi_\rangle_=_\langle_f,\varphi_\rangle\cdot_\langle_\varphi_0,_\psi_\rangle_=_\langle_\varphi,_\langle_\varphi_0,_\psi_\rangle_f\rangle._$

Thus,_$A^*_\psi_=_\langle_\varphi_0,_\psi_\rangle_f.$_The_definition_of_adjoint_operator_requires_that_$\mathopA^*_\subseteq_H=L^2.$_Since_$f_\notin_L^2,$_this_is_only_possible_if_$\langle_\varphi_0,_\psi_\rangle=_0.$_For_this_reason,_$D(A^*)_=_\^\perp.$_Hence,_$A^*$_is_not_densely_defined_and_is_identically_zero_on_$D(A^*).$_As_a_result,_$A$_is_not_closable_and_has_no_second_adjoint_$A^.$

__Hermitian_operators

A_bounded_operator_

In_functional_analysis_and_operator_theory,_a_bounded_linear_operator_is_a_linear_transformation_L_:_X_\to_Y_between_topological_vector_spaces_(TVSs)_X_and_Y_that_maps__bounded_subsets_of_X_to_bounded_subsets_of_Y._
If_X_and_Y_are_normed_vector_s_...