91Ó°ÊÓ

Equation 3.7 follows Schwarz inequality:

$\left|{∫}_a^{b}f\left(x\right)*g\left(x\right)dx\right|≤\sqrt{{∫}_a^b{\left|f\left(x\right)\right|}^{2}dx{∫}_a^b{\left|g\left(x\right)\right|}^{2}dx}$

Equation 3.6 define the inner product of two functions

a)

Let $f\left(x\right)$and $g\left(x\right)$be square-integrable, then we need to prove that$h\left(x\right)=f\left(x\right)+g\left(x\right)$is also square-integrable,

$$\begin{gathered} {\left|h\right|}^2=\left(f+g\right)*\left(f+g\right) \\ ={\left|f\right|}^2+{\left|g\right|}^2+f*g+g*f \end{gathered}$$

The integration is,

$∫{\left|h\right|}^{2}dx=∫{\left|f\right|}^{2}dx+∫{\left|g\right|}^{2}dx+∫f*gdx+\left(∫f*gdx\right)*$

since both $f\left(x\right)$and$g\left(x\right)$are square-integrable, then the first two terms are finite, using Schwarz inequality, we can write the third and the fourth integrals in terms of the first and the second integral:

$\left|{∫}_a^{b}f\left(x\right)*g\left(x\right)dx\right|≤\sqrt{{∫}_a^b{\left|f\left(x\right)\right|}^{2}dx{∫}_a^b{\left|g\left(x\right)\right|}^{2}dx}$

Therefore, the last two integrals are finite too. Hence $∫{\left|h\right|}^{2}dx$is finite, therefore Two square-integrable functions add up to a square-integrable function. Now let $\mathrm{ψ}\left(x\right)$be a vector with a value or component for every value of x . If a set of vectors meets two criteria, it can be called a vector space:

- If a vector ${\mathrm{ψ}}_1\left(x\right)$is in the set, then so is $A\mathrm{ψ}\left(x\right)$for any complex scalar $A$

- If two vectors ${\mathrm{ψ}}_1\left(x\right)$and ${\mathrm{ψ}}_2\left(x\right)$are in the set, then so is their sum ${\mathrm{ψ}}_1\left(x\right)+{\mathrm{ψ}}_2\left(x\right)$

these two conditions can be combined by saying that if two vectors ${\mathrm{ψ}}_1\left(x\right)$and ${\mathrm{ψ}}_2\left(x\right)$are in the set, then so is their linear combination $A{\mathrm{ψ}}_1\left(x\right)+B{\mathrm{ψ}}_2\left(x\right)$ , for any complex scalars and $A$We can see from this definition that the above-mentioned collection of all normalizable functions is not a vector space. For example, if 1 is true for a vector$\mathrm{ψ}\left(x\right)$ , then it is not true if we multiply $\mathrm{ψ}\left(x\right)$by any scalar $A$where $\left|A\right|≠1$.

b)

The definition of an inner product of two vectors requires that it satisfies three conditions:

the first condition is trivial to prove, as:

For the second condition, we can use:

To prove that and if and only if $\backslash f>=0$. For the third condition, we have:

therefore, Equation 3.6's integral satisfies the requirements for an inner product.