Функция e z является аналитической в ^; функции 5i z и −5i z , очевидно, тоже аналитические. Поэтому и сложные
функции e5i z и e−5i z аналитичны в ^. Отсюда следует, что и функция
f (z)= z sin 5z = 2zi (ei5 z −e−i5 z )
будет аналитической в ^ как разность и произведение аналитических функций. Теперь заметим, что нужная
первообразная F (z) дается формулой
z
F (z)= ∫ ζsin 5ζdζ ,
π
2
где интеграл берется по любому пути, идущему от π
2 к z . Действительно, согласно теореме 6.1, функция F (z) будет первообразной; равенство F (π
2)= 0 очевидно. Интеграл
вычисляется по формуле Ньютона-Лейбница. При этом, можно пользоваться обычными приемами и формулами интегрирования. В данном случае воспользуемся формулой интегрирования по частям:
|
b |
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
∫ u dυ= uυ |
b −∫ υdu . |
|
|
a |
|
|
a |
a |
|
|
|
В нашем случае u = ζ , du = dζ , dυ= sin 5ζ dζ , υ= − |
1 cos 5ζ . |
Отсюда |
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
z |
|
ζ |
|
z |
z |
|
|
|
|
|
|
∫ |
ζsin 5ζ dζ = − |
cos 5ζ |
|
−∫ |
|
1 |
|
|
|
− |
cos 5ζ dζ = |
π 2 |
|
5 |
|
π 2 |
π 2 |
|
5 |
|
|
|
|
|
|
|
|