Корисні вирази з доведенням і без
ред.
1. Перетворення Фур'є для добутку
x
f
(
x
)
,
f
(
x
)
−
>
f
~
(
k
)
{\displaystyle \ xf(x),\quad f(x)->{\tilde {f}}(k)}
:
x
f
′
(
x
)
−
>
−
∂
k
(
k
f
~
(
k
)
)
{\displaystyle \ xf'(x)->-\partial _{k}(k{\tilde {f}}(k))}
.
Дійсно, з точністю до константи
∫
−
∞
∞
x
f
′
(
x
)
e
−
i
k
x
d
x
=
−
i
∂
k
∫
−
∞
∞
f
′
(
x
)
e
−
i
k
x
d
x
=
i
2
∂
k
(
k
f
~
(
k
)
)
{\displaystyle \ \int \limits _{-\infty }^{\infty }xf'(x)e^{-ikx}dx=-i\partial _{k}\int \limits _{-\infty }^{\infty }f'(x)e^{-ikx}dx=i^{2}\partial _{k}(k{\tilde {f}}(k))}
.
2. Матриця переходу у сферичній системі координат :
T
^
r
,
θ
,
φ
=
[
c
o
s
(
φ
)
s
i
n
(
θ
)
s
i
n
(
φ
)
s
i
n
(
θ
)
c
o
s
(
θ
)
c
o
s
(
φ
)
c
o
s
(
θ
)
s
i
n
(
φ
)
c
o
s
(
θ
)
−
s
i
n
(
θ
)
−
s
i
n
(
φ
)
c
o
s
(
φ
)
0
]
{\displaystyle \ {\hat {T}}_{r,\theta ,\varphi }={\begin{bmatrix}cos(\varphi )sin(\theta )&sin(\varphi )sin(\theta )&cos(\theta )\\cos(\varphi )cos(\theta )&sin(\varphi )cos(\theta )&-sin(\theta )\\-sin(\varphi )&cos(\varphi )&0\end{bmatrix}}}
.
3. Сферично симетричний електростатичний потенціал :
φ
(
x
)
=
4
π
(
1
x
∫
0
x
ρ
(
r
)
r
2
d
r
+
∫
x
∞
ρ
(
r
)
r
d
r
)
{\displaystyle \ \varphi (\mathbf {x} )=4\pi \left({\frac {1}{x}}\int \limits _{0}^{x}\rho (r)r^{2}dr+\int \limits _{x}^{\infty }\rho (r)rdr\right)}
.
Дійсно, якщо напрямити вектор
x
{\displaystyle \ \mathbf {x} }
по осі z, то в сферичній системі координат між цим вектором та вектором
r
{\displaystyle \ \mathbf {r} }
буде полярний кут
θ
{\displaystyle \ \theta }
. Тоді, з урахуванням радіальної залежності густини (з незалежністю від інших змінних), загальний вираз для електростатичного потенціалу набуває вигляду
φ
(
x
)
=
∫
ρ
(
r
)
d
3
r
|
x
−
r
|
=
∫
0
∞
ρ
(
r
)
r
2
d
r
∫
0
π
s
i
n
(
θ
)
d
θ
x
2
+
r
2
−
2
r
x
c
o
s
(
θ
)
∫
0
2
π
d
φ
=
2
π
∫
0
∞
ρ
(
r
)
r
2
d
r
∫
−
1
1
d
(
c
o
s
(
θ
)
)
x
2
+
r
2
−
2
r
x
c
o
s
(
θ
)
=
{\displaystyle \ \varphi (\mathbf {x} )=\int {\frac {\rho (\mathbf {r} )d^{3}\mathbf {r} }{|\mathbf {x} -\mathbf {r} |}}=\int \limits _{0}^{\infty }\rho (r)r^{2}dr\int \limits _{0}^{\pi }{\frac {sin(\theta )d\theta }{\sqrt {x^{2}+r^{2}-2rxcos(\theta )}}}\int \limits _{0}^{2\pi }d\varphi =2\pi \int \limits _{0}^{\infty }\rho (r)r^{2}dr\int \limits _{-1}^{1}{\frac {d(cos(\theta ))}{\sqrt {x^{2}+r^{2}-2rxcos(\theta )}}}=}
=
−
2
π
∫
0
∞
ρ
(
r
)
r
2
(
|
x
−
r
|
−
(
x
+
r
)
)
x
r
d
r
=
4
π
x
∫
0
x
ρ
(
r
)
r
2
d
r
+
4
π
∫
x
∞
ρ
(
r
)
r
d
r
{\displaystyle \ =-2\pi \int \limits _{0}^{\infty }{\frac {\rho (r)r^{2}(|x-r|-(x+r))}{xr}}dr={\frac {4\pi }{x}}\int \limits _{0}^{x}\rho (r)r^{2}dr+4\pi \int \limits _{x}^{\infty }\rho (r)rdr}
.
4. Лапласіан від поліному Лежандра з аргументом
c
o
s
(
θ
)
{\displaystyle \ cos(\theta )}
:
Δ
(
P
n
(
c
o
s
(
θ
)
)
)
=
−
(
n
+
1
)
n
r
2
P
n
(
c
o
s
(
θ
)
)
{\displaystyle \ \Delta (P_{n}(cos(\theta )))=-{\frac {(n+1)n}{r^{2}}}P_{n}(cos(\theta ))}
.
5. Векторний добуток у сферичних координатах.
[
a
×
b
]
=
d
e
t
[
e
r
r
2
s
i
n
(
θ
)
e
φ
r
e
θ
r
s
i
n
(
θ
)
a
r
a
φ
a
θ
b
r
b
φ
b
θ
]
{\displaystyle \ [\mathbf {a} \times \mathbf {b} ]=det{\begin{bmatrix}{\frac {\mathbf {e} _{r}}{r^{2}sin(\theta )}}&{\frac {\mathbf {e} _{\varphi }}{r}}&{\frac {\mathbf {e} _{\theta }}{rsin(\theta )}}\\a_{r}&a_{\varphi }&a_{\theta }\\b_{r}&b_{\varphi }&b_{\theta }\end{bmatrix}}}
.
Нехай функцію
f
(
x
)
{\displaystyle \ f(x)}
можна представити у наступному вигляді:
f
(
x
)
=
Q
n
−
1
(
x
)
+
R
n
(
x
)
(
1
)
{\displaystyle \ f(x)=Q_{n-1}(x)+R_{n}(x)\qquad (1)}
,
де
Q
n
−
1
(
x
)
=
f
(
a
)
+
f
′
(
a
)
(
x
−
a
)
1
!
+
.
.
.
+
f
(
n
−
1
)
(
a
)
(
x
−
a
)
n
−
1
(
n
−
1
)
!
,
R
n
(
x
)
{\displaystyle \ Q_{n-1}(x)=f(a)+{\frac {f'(a)(x-a)}{1!}}+...+{\frac {f^{(n-1)}(a)(x-a)^{n-1}}{(n-1)!}},R_{n}(x)}
- остаточний член.
Відповідно до
(
1
)
{\displaystyle \ (1)}
, можна ввести функцію
f
(
b
)
{\displaystyle \ f(b)}
:
f
(
b
)
=
Q
n
−
1
(
b
)
+
R
n
(
b
)
=
f
(
a
)
+
f
′
(
a
)
(
b
−
a
)
1
!
+
.
.
.
+
f
(
n
−
1
)
(
a
)
(
b
−
a
)
n
−
1
(
n
−
1
)
!
+
R
n
(
b
)
(
2
)
{\displaystyle \ f(b)=Q_{n-1}(b)+R_{n}(b)=f(a)+{\frac {f'(a)(b-a)}{1!}}+...+{\frac {f^{(n-1)}(a)(b-a)^{n-1}}{(n-1)!}}+R_{n}(b)\qquad (2)}
.
Якщо прийняти
R
n
(
x
)
=
M
(
x
−
a
)
n
{\displaystyle \ R_{n}(x)=M(x-a)^{n}}
та ввести допоміжну функцію
φ
(
x
)
=
f
(
b
)
−
(
f
(
x
)
+
f
′
(
x
)
(
b
−
x
)
1
!
+
f
″
(
x
)
(
b
−
x
)
2
2
!
+
f
‴
(
x
)
(
b
−
x
)
3
3
!
.
.
.
+
f
(
n
−
1
)
(
x
)
(
b
−
x
)
n
−
1
(
n
−
1
)
!
+
R
n
(
b
)
)
=
{\displaystyle \ \varphi (x)=f(b)-(f(x)+{\frac {f'(x)(b-x)}{1!}}+{\frac {f''(x)(b-x)^{2}}{2!}}+{\frac {f'''(x)(b-x)^{3}}{3!}}...+{\frac {f^{(n-1)}(x)(b-x)^{n-1}}{(n-1)!}}+R_{n}(b))=}
=
f
(
b
)
−
(
f
(
x
)
+
f
′
(
x
)
(
b
−
x
)
1
!
+
.
.
.
+
f
(
n
−
1
)
(
x
)
(
b
−
x
)
n
−
1
(
n
−
1
)
!
+
M
(
b
−
x
)
n
)
,
a
=
x
{\displaystyle \ =f(b)-(f(x)+{\frac {f'(x)(b-x)}{1!}}+...+{\frac {f^{(n-1)}(x)(b-x)^{n-1}}{(n-1)!}}+M(b-x)^{n}),a=x}
,
то
φ
′
(
x
)
=
−
(
f
′
(
x
)
+
f
″
(
x
)
(
b
−
x
)
1
!
−
f
′
(
x
)
1
!
+
f
‴
(
x
)
(
b
−
x
)
2
2
!
−
f
″
(
x
)
(
b
−
x
)
1
!
+
f
⁗
(
x
)
(
b
−
x
)
3
3
!
−
f
‴
(
x
)
(
b
−
x
)
2
2
!
+
.
.
.
+
{\displaystyle \ \varphi '(x)=-(f'(x)+{\frac {f''(x)(b-x)}{1!}}-{\frac {f'(x)}{1!}}+{\frac {f'''(x)(b-x)^{2}}{2!}}-{\frac {f''(x)(b-x)}{1!}}+{\frac {f''''(x)(b-x)^{3}}{3!}}-{\frac {f'''(x)(b-x)^{2}}{2!}}+...+}
+
f
(
n
)
(
x
)
(
b
−
x
)
n
−
1
(
n
−
1
)
!
−
f
(
n
−
1
)
(
x
)
(
b
−
x
)
n
−
2
(
n
−
2
)
!
−
M
n
(
b
−
x
)
n
−
1
)
=
−
f
(
n
)
(
x
)
(
b
−
x
)
n
−
1
(
n
−
1
)
!
−
M
n
(
b
−
x
)
n
−
1
)
=
−
(
b
−
x
)
n
−
1
(
f
(
n
)
(
x
)
(
n
−
1
)
!
−
M
n
)
{\displaystyle \ +{\frac {f^{(n)}(x)(b-x)^{n-1}}{(n-1)!}}-{\frac {f^{(n-1)}(x)(b-x)^{n-2}}{(n-2)!}}-Mn(b-x)^{n-1})=-{\frac {f^{(n)}(x)(b-x)^{n-1}}{(n-1)!}}-Mn(b-x)^{n-1})=-(b-x)^{n-1}({\frac {f^{(n)}(x)}{(n-1)!}}-Mn)}
.
Далі, оскільки
1.
f
(
x
)
,
.
.
.
f
(
n
−
1
)
(
x
)
{\displaystyle \ f(x),...f^{(n-1)}(x)}
неперервні на відрізку
[
a
;
b
]
{\displaystyle \ [a;b]}
, тому
φ
(
x
)
{\displaystyle \ \varphi (x)}
також наперервна на цьому відрізку,
2.
f
(
x
)
{\displaystyle \ f(x)}
диференціюється до
(
n
)
{\displaystyle \ ^{(n)}}
на інтервалі
[
a
;
b
]
{\displaystyle \ [a;b]}
, тому
φ
(
x
)
{\displaystyle \ \varphi (x)}
диференціюється на цьому інтервалі,
3.
φ
(
b
)
=
φ
(
a
)
=
0
{\displaystyle \ \varphi (b)=\varphi (a)=0}
,
то, згідно з теоремою Ролля, є така точка
ψ
{\displaystyle \ \psi }
, що
φ
′
(
ψ
)
=
0
{\displaystyle \ \varphi '(\psi )=0}
:
−
(
b
−
ψ
)
n
−
1
(
f
(
n
)
(
ψ
)
(
n
−
1
)
!
−
M
n
)
=
0
⇒
M
=
f
(
n
)
(
ψ
)
n
!
⇒
R
n
(
b
)
=
f
(
n
)
(
ψ
)
n
!
(
b
−
a
)
n
{\displaystyle \ -(b-\psi )^{n-1}({\frac {f^{(n)}(\psi )}{(n-1)!}}-Mn)=0\Rightarrow M={\frac {f^{(n)}(\psi )}{n!}}\Rightarrow R_{n}(b)={\frac {f^{(n)}(\psi )}{n!}}(b-a)^{n}}
.
Тоді
(
2
)
{\displaystyle \ (2)}
прийме вигляд:
f
(
b
)
=
Q
n
−
1
(
b
)
+
R
n
(
b
)
=
f
(
b
)
+
f
′
(
b
)
(
b
−
a
)
1
!
+
.
.
.
+
f
(
n
−
1
)
(
b
)
(
b
−
a
)
n
−
1
(
n
−
1
)
!
+
f
(
n
)
(
ψ
)
n
!
(
b
−
a
)
n
{\displaystyle \ f(b)=Q_{n-1}(b)+R_{n}(b)=f(b)+{\frac {f'(b)(b-a)}{1!}}+...+{\frac {f^{(n-1)}(b)(b-a)^{n-1}}{(n-1)!}}+{\frac {f^{(n)}(\psi )}{n!}}(b-a)^{n}}
,
який і є виразом формули Тейлора для функції
f
(
x
)
{\displaystyle \ f(x)}
.
Інтеграл Ейлера-Пуассона
ред.
Нехай є інтеграл виду
∫
0
∞
e
−
A
x
2
d
x
(
1
)
{\displaystyle \ \int \limits _{0}^{\infty }e^{-Ax^{2}}dx\qquad (1)}
.
Він рівен
∫
0
∞
e
−
A
x
2
d
x
=
1
2
π
A
{\displaystyle \ \int \limits _{0}^{\infty }e^{-Ax^{2}}dx={\frac {1}{2}}{\sqrt {\frac {\pi }{A}}}}
.
Вірність цього результату можна довести, використовуючи наступне.
1. Є інтеграл виду
I
n
=
∫
0
1
x
n
1
−
x
2
d
x
=
|
x
=
s
i
n
(
u
)
−
>
u
=
a
r
c
s
i
n
(
x
)
|
=
∫
0
π
2
s
i
n
n
(
u
)
d
u
=
{
(
n
−
1
)
!
!
(
n
)
!
!
,
n
=
2
k
+
1
,
(
n
−
1
)
!
!
(
n
)
!
!
π
2
,
n
=
2
k
.
{\displaystyle \ I_{n}=\int \limits _{0}^{1}{\frac {x^{n}}{\sqrt {1-x^{2}}}}dx=|x=sin(u)->u=arcsin(x)|=\int \limits _{0}^{\frac {\pi }{2}}sin^{n}(u)du={\begin{cases}{\frac {(n-1)!!}{(n)!!}},n=2k+1,\\{\frac {(n-1)!!}{(n)!!}}{\frac {\pi }{2}},n=2k.\end{cases}}}
Тоді
(
2
n
+
1
)
I
2
n
I
2
n
+
1
=
(
2
n
+
1
)
(
2
n
−
1
)
!
!
(
2
n
)
!
!
(
2
n
)
!
!
(
2
n
+
1
)
!
!
π
2
=
π
2
{\displaystyle \ (2n+1)I_{2n}I_{2n+1}=(2n+1){\frac {(2n-1)!!}{(2n)!!}}{\frac {(2n)!!}{(2n+1)!!}}{\frac {\pi }{2}}={\frac {\pi }{2}}}
.
При
n
−
>
∞
⇒
l
i
m
n
−
>
∞
I
2
n
I
2
n
+
1
=
1
{\displaystyle \ n->\infty \Rightarrow lim_{n->\infty }{\frac {I_{2n}}{I_{2n+1}}}=1}
виконується також наступна рівність:
l
i
m
n
−
>
∞
(
2
n
+
1
)
I
2
n
+
1
2
I
2
n
I
2
n
+
1
=
(
2
n
+
1
)
I
2
n
+
1
2
=
π
2
{\displaystyle \ lim_{n->\infty }(2n+1)I_{2n+1}^{2}{\frac {I_{2n}}{I_{2n+1}}}=(2n+1)I_{2n+1}^{2}={\frac {\pi }{2}}}
.
Тоді
(
2
n
+
1
)
I
2
n
+
1
2
=
π
2
⇒
I
2
n
+
1
=
π
2
1
2
n
+
1
⇒
n
I
2
n
+
1
=
l
i
m
n
−
>
∞
π
2
n
2
n
+
1
=
π
2
{\displaystyle \ (2n+1)I_{2n+1}^{2}={\frac {\pi }{2}}\Rightarrow I_{2n+1}={\sqrt {\frac {\pi }{2}}}{\frac {1}{\sqrt {2n+1}}}\Rightarrow {\sqrt {n}}I_{2n+1}=lim_{n->\infty }{\sqrt {\frac {\pi }{2}}}{\frac {\sqrt {n}}{\sqrt {2n+1}}}={\frac {\sqrt {\pi }}{2}}}
.
Якщо зробити заміну
x
2
=
1
−
z
2
,
2
x
d
x
=
−
2
z
d
z
{\displaystyle \ x^{2}=1-z^{2},2xdx=-2zdz}
, то
I
2
n
+
1
=
∫
0
1
x
2
n
+
1
1
−
x
2
d
x
=
−
∫
1
0
−
(
1
−
z
2
)
n
z
d
z
z
=
∫
0
1
(
1
−
z
2
)
n
d
z
{\displaystyle \ I_{2n+1}=\int \limits _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}dx=-\int \limits _{1}^{0}-{\frac {(1-z^{2})^{n}zdz}{z}}=\int \limits _{0}^{1}(1-z^{2})^{n}dz}
.
Наступна заміна -
z
=
t
n
{\displaystyle \ z={\frac {t}{\sqrt {n}}}}
. Тоді, при
n
−
>
∞
{\displaystyle \ n->\infty }
, можна отримати:
Тоді
∫
0
1
(
1
−
z
2
)
n
d
z
=
1
n
∫
0
n
(
1
−
t
2
n
)
n
d
t
=
I
2
n
+
1
⇒
n
I
2
n
+
1
=
∫
0
n
e
−
t
2
d
t
=
∫
0
∞
e
−
t
2
d
t
=
π
2
{\displaystyle \ \int \limits _{0}^{1}(1-z^{2})^{n}dz={\frac {1}{\sqrt {n}}}\int \limits _{0}^{\sqrt {n}}(1-{\frac {t^{2}}{n}})^{n}dt=I_{2n+1}\Rightarrow {\sqrt {n}}I_{2n+1}=\int \limits _{0}^{\sqrt {n}}e^{-t^{2}}dt=\int \limits _{0}^{\infty }e^{-t^{2}}dt={\frac {\sqrt {\pi }}{2}}}
.
Замість
t
{\displaystyle \ t}
можна покласти
t
=
a
x
{\displaystyle \ t={\sqrt {a}}x}
, тоді інтеграл зведеться до
(
1
)
{\displaystyle \ (1)}
.
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }
{\displaystyle \ }