From 7a2346d3ee81c7c852de85527de056fe0b39aad8 Mon Sep 17 00:00:00 2001 From: Prefetch Date: Thu, 19 Jan 2023 21:28:23 +0100 Subject: More improvements to knowledge base --- source/know/concept/fredholm-alternative/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'source/know/concept/fredholm-alternative') diff --git a/source/know/concept/fredholm-alternative/index.md b/source/know/concept/fredholm-alternative/index.md index c954272..fdc90be 100644 --- a/source/know/concept/fredholm-alternative/index.md +++ b/source/know/concept/fredholm-alternative/index.md @@ -14,7 +14,7 @@ It is an *alternative* because it gives two mutually exclusive options, given here in [Dirac notation](/know/concept/dirac-notation/): 1. $$\hat{L} \Ket{u} = \Ket{f}$$ has a unique solution $$\Ket{u}$$ for every $$\Ket{f}$$. -2. $$\hat{L}^\dagger \Ket{w} = 0$$ has non-zero solutions. +2. $$\hat{L}^\dagger \Ket{w} = 0$$ has nonzero solutions. Then regarding $$\hat{L} \Ket{u} = \Ket{f}$$: 1. If $$\Inprod{w}{f} = 0$$ for all $$\Ket{w}$$, then it has infinitely many solutions $$\Ket{u}$$. 2. If $$\Inprod{w}{f} \neq 0$$ for any $$\Ket{w}$$, then it has no solutions $$\Ket{u}$$. @@ -31,7 +31,7 @@ this theorem can alternatively be stated as follows using the determinant: 1. If $$\mathrm{det}(\hat{L}) \neq 0$$, then $$\hat{L} \vec{u} = \vec{f}$$ has a unique solution $$\vec{u}$$ for every $$\vec{f}$$. 2. If $$\mathrm{det}(\hat{L}) = 0$$, - then $$\hat{L}^\dagger \vec{w} = \vec{0}$$ has non-zero solutions. + then $$\hat{L}^\dagger \vec{w} = \vec{0}$$ has nonzero solutions. Then regarding $$\hat{L} \vec{u} = \vec{f}$$: 1. If $$\vec{w} \cdot \vec{f} = 0$$ for all $$\vec{w}$$, then it has infinitely many solutions $$\vec{u}$$. @@ -48,7 +48,7 @@ Then for the equation $$\hat{M} \Ket{u} = \Ket{f}$$, we can say that: 1. If $$\lambda$$ is *not* an eigenvalue, then there is a unique solution $$\Ket{u}$$ for each $$\Ket{f}$$. 2. If $$\lambda$$ is an eigenvalue, then $$\hat{M}^\dagger \Ket{w} = 0$$ - has non-zero solutions. Then: + has nonzero solutions. Then: 1. If $$\Inprod{w}{f} = 0$$ for all $$\Ket{w}$$, then there are infinitely many solutions $$\Ket{u}$$. 2. If $$\Inprod{w}{f} \neq 0$$ for any $$\Ket{w}$$, then there are no -- cgit v1.2.3