Partial Differential Equation
Partial Differential Equation
School of Sciences
Cluster University of Jammu
1 Introduction
2 Hilbert Spaces
4 Heat Equation
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
INTRODUCTION
Normed space
A vector space X with a norm ∥·∥ satisfying above is called a
normed space. A norm determines distance between elements of
X.
Let ∥·∥ be a norm over vector space X . Then d(x, y ) := ∥x − y ∥
defines a distance between points of X .
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Continuous
Given two normed spaces X and Y , we say that the map
f : X 7→ Y is continuous if, for every x ∈ X and ϵ > 0, there exist
δ > 0 such that:
A sequence (xn )n≥1 is Cauchy sequence if, for every ϵ > 0, one
can find integer N large enough so that,
∥xm − xn ∥ ≤ ϵ whenever m, n ≥ N.
Banch Space
A normed space X is complete if every Cauchy sequence
converges to some limit point x ∈ X . A complete normed space is
called Banach space.
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Linear Transformation
∥Tx∥ ≤ M∥x∥ .
Proposition
Let X and Y are normed linear spaces and T : X 7→ Y is a linear
transformation then, T is bounded if and only if T is continuous.
Idea of Proof: Start the proof by assuming that T is bounded and
let xn → x in X as x → ∞ now, using the definition of
boundedness we proved that T (xn − x) → 0 as n → ∞ which
implies that Txn → Tx in Y and use a similar idea to prove
conversely.
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Adjoint operator
Let T be a bounded linear operator, T : X 7→ Y where X and Y
are normed spaces. Let X ∗ and Y ∗ be the dual spaces of X and Y
respectively. Then the Adjoint operator T ∗ : Y ∗ 7→ X ∗ is defined
by,
f (x) = (T ∗ g )(x) = g (Tx),
where g and f are bounded linear functionals in Y ∗ and X ∗
respectively
Comapct Operator
Let X ,Y be Banach spaces. A bounded linear operator T : X 7→ Y
is compact if, for every bounded sequence (xn )n≥1 of points in X ,
there exists a subsequence (xnj )j≥1 such that Txnj converges.
Equivalently, T is compact if and only if, for any bounded set
U ⊂ X , the image T (U) ⊂ Y has compact closure.
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Hilbert Space
Spaces with Inner Product
Let H be a vector space over the field K of real and complex
numbers. An inner product on H is a map ⟨·, ·⟩ that, to each
couple of elements x, y ∈ H, associates a number (x, y ) ∈ K with
the following properties. For every x, y , z ∈ H and α ∈ K one has,
⟨x, y ⟩ = ⟨y , x⟩, where the bar denotes the complex conjugate;
⟨x + y , z⟩ = ⟨x, z⟩ + ⟨y , z⟩;
⟨αx, z⟩ = α⟨x, z⟩;
⟨x, x⟩ ≥ 0, and ⟨x, x⟩ = 0 if and only if x = 0.
Hilbert Space
Cauchy-Schwarz Inequality:
Minkowski Inequality:
Parallelogram Law:
Polarization Identity:
1
⟨x, y ⟩ = ∥x + y ∥2 −∥x − y ∥2 + i∥x + iy ∥2 − i∥x − iy ∥2 .
4
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Orthogonal
Two elements x, y in a Hilbert space H are said to be Orthogonal
if ⟨x, y ⟩ = 0.
Let S ⊆ H, then orthogonal subspace is defined as,
S ⊥ := {y ∈ H ; ⟨y , x⟩ = 0 ∀x ∈ S}.
Proposition
S ⊥ is always a closed subspace of H.
Orthonormal sets
If e1 , e2 , . . . , en is an orthonormal basis of Rn , then every vector
x ∈ R2 can be uniquely written as a linear combination,
n
X
x= ⟨x, ek ⟩ek .
k=1
Weak Convergence
Let H be a Hilbert space. We say that a sequence of points xn ∈ H
converges weakly to a point x ∈ H, and write xn ⇀ x, if
Hence x = x̃.
Weakly convergent sequences
Let H be a Hilbert space. Every weakly convergent sequence is
bounded.
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Fredholm Theory
Fredholm
Let H be a Hilbert space over the reals and let K : H 7→ H be a
compact linear operator. Then
(Continued...)
In this case, η is called an eigenvalue of T and w is an
associated eigenvector.
The essential spectrum of T , denoted as
σe (T ) = σ(T )\σρ (T ), is the set of numbers η ∈ R such that
ηI − T is one-to-one but not onto.
Theorem
Let H be an infinite dimensional Hilbert space, and let K : H 7→ H
be a compact linear operator. Then:
(i) 0 ∈ σ(K ).
(ii) σ(K ) = σρ (K ) ∪ {0}.
(iii) Either σρ is finite, or else σρ (K ) = {λk ; k ≥ 1} with
lim λk = 0.
k→∞
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Heat Equation
ut − ∆u = 0
and ut − ∆u = f
Physical Interpretation
F⃗ ∝ −∇u,
Nonhomogeneous Problem
Energy Methods
Uniqueness
Let us investigate again the initial/boundary value problem.
(
ut − ∆u = f in UT
u=g on ΓT ,
Backwards uniqueness(contd.)
(
ut − ∆u = 0 in UT
u = g on ∂U × [0, T ],
(
ũt − ∆ũ = 0 in UT
ũ = g on ∂U × [0, T ],
Conclusion
Moving forward, our research could pivot towards a more explicit
integration of Hilbert spaces into the framework of the heat
equation. This could involve a more comprehensive exploration of
the spectral theory of self-adjoint operators on Hilbert spaces,
allowing us to uncover deeper connections between the inherent
properties of Hilbert spaces and the behavior of solutions to the
heat equation.
The inclusion of Hilbert spaces promises to be a transformative
avenue for future investigations. Hilbert spaces, with their inherent
structure and completeness, offer a natural habitat for the analysis
of function spaces and study in the context of the heat equation.
By embracing the abstract framework of Hilbert spaces, we
anticipate gaining a deeper understanding of the underlying
mathematical structures and potentially uncovering more general
and elegant solutions to the heat equation.
Introduction Hilbert Spaces Compact Operator on Hilbert Space Heat Equation
Bibliography
[1] T. Amaranath, Elementary Course in Partial Differential Equations
Alpha Science International, 2003.
[2] Alberto Bressan, Lecture Notes on Functional Analysis: With
Applications to Linear Partial Differential Equations. Graduate
Studies in Mathematics. American Mathematical Society, 2021
[3] L.C. Evans Partial Differential Equations. Graduate studies in
mathematics. American Mathematical Society, 2010.
[4] S. Kesavan Functional Analysis: Second Edition. Texts and
Readings in Mathematics. Springer Nature Singapore, 2023.
[5] Erwin Kreyszig, Introductory Functional Analysis with
Applications. Wiley classics library. Wiley India Pvt. Limited, 2007.
[6] W. Rudin, Functional Analysis. International series in pure and
applied mathematics. McGraw-Hill, 1991
THANK YOU