5.6

Аналитические и мероморфные функции

[38/100%]
Показать
LaTeX
Задача 5.6.1

Пусть f=u+ivf = u+iv аналитична на связном открытом множестве DD, где uu и vv вещественнозначны. Предположим, что существуют вещественные константы aa, bb и cc, такие что a2+b20a^{2}+b^{2} \neq 0 и

au+bv=c au+bv = c

на DD. Показать, что ff постоянна на DD.

?
Задача 5.6.2

Верно или нет: функция f(z)f(z), аналитическая на za<r\left|z-a\right|<r и непрерывная на zar\left|z-a\right| \leq r, продолжается при некотором δ>0\delta >0 до функции, аналитической на za<r+δ\left|z-a\right|<r+\delta? Дать доказательство или контрпример.

?
Задача 5.6.3

Существуют ли функции f(z)f(z) и g(z)g(z), аналитические в точке z=0z = 0 и удовлетворяющие

?
(1)

f(1/n)=f(1/n)=1/n2f(1/n) = f(-1/n) = 1/n^{2}, n=1,2,n = 1, 2, \ldots,

(2)

g(1/n)=g(1/n)=1/n3g(1/n) = g(-1/n) = 1/n^{3}, n=1,2,n = 1, 2, \ldots?

Задача 5.6.4

Пусть kk — целое число, большее 11. Найти все целые функции ff, удовлетворяющие f(zk)=(f(z))kf(z^{k}) = (f(z))^{k}.

?
Задача 5.6.5

Пусть FF — многочлен над C\mathbb {C} положительной степени dd, и пусть SS — множество его нулей. Доказать, что всякую рациональную функцию RR, все конечные полюсы которой лежат в SS, можно единственным образом записать в виде

R=k=mnakFk, R = \sum _{k=m}^{n} a_{k}F^{k},

где mm и nn — целые числа, mnm \leq n, а aka_{k} — многочлены степени меньше dd.

?
Задача 5.6.6

Пусть A={0}{1/nnZ,n>1}A = \left\{ 0\right\} \cup \left\{ 1/n \mid n \in \mathbb {Z}, n>1\right\}, и пусть D\mathbb {D} — открытый единичный круг комплексной плоскости. Доказать, что всякая ограниченная голоморфная функция на DA\mathbb {D} \setminus A продолжается до голоморфной функции на D\mathbb {D}.

?
Задача 5.6.7

Пусть UU — связное и односвязное открытое подмножество комплексной плоскости, и пусть ff — голоморфная функция на UU. Предположим, что aa — точка UU, такая что ряд Тейлора ff в точке aa сходится на открытом круге DD, пересекающемся с дополнением UU. Следует ли отсюда, что ff продолжается до голоморфной функции на UDU \cup D? Дать доказательство или контрпример.

?
Задача 5.6.8
?
(1)

Предположим, что ff аналитична на связном открытом множестве UCU \subset \mathbb {C} и принимает только вещественные значения. Доказать, что ff постоянна.

(2)

Предположим, что WCW \subset \mathbb {C} открыто, gg аналитична на WW, и g(z)0g'(z) \neq 0 для всех zWz \in W. Показать, что

{Re(g(z))+Im(g(z))zW}R \left\{ \mathrm{Re}\left(g(z)\right)+\mathrm{Im}\left(g(z)\right) \mid z \in W\right\} \subset \mathbb {R}

— открытое подмножество R\mathbb {R}.

Задача 5.6.9

Пусть f:CCf : \mathbb {C} \to \mathbb {C} — непостоянная целая функция. Доказать, что f(C)f(\mathbb {C}) плотно в C\mathbb {C}.

?
Задача 5.6.10

Пусть LL — прямая в C\mathbb {C}, и пусть ff — целая функция, такая что f(C)L=f(\mathbb {C}) \cap L = \emptyset. Доказать, что ff постоянна. (Не используйте теорему Пикара о том, что образ непостоянной целой функции пропускает не более одного комплексного числа.)

?
Задача 5.6.11
?
(1)

Доказать, что целая функция с положительной вещественной частью постоянна.

(2)

Доказать аналогичный результат для матричных функций 2×22 \times 2: если F(z)=(fjk(z))F(z) = (f_{jk}(z)) — матричная функция на комплексной плоскости, каждый элемент fjkf_{jk} которой целый, и если F(z)+F(z)F(z)+F(z)^{*} положительно определена при каждом zz, то FF постоянна. (Здесь F(z)F(z)^{*} — сопряжённо-транспонированная матрица F(z)F(z).)

Задача 5.6.12

Пусть s(y)s(y) и t(y)t(y) — вещественные дифференцируемые функции от yy, <y<-\infty <y<\infty, такие что комплексная функция

f(x+iy)=ex(s(y)+it(y)) f(x+iy) = e^{x}(s(y)+it(y))

комплексно аналитична, причём s(0)=1s(0) = 1 и t(0)=0t(0) = 0. Найти s(y)s(y) и t(y)t(y).

?
Задача 5.6.13

Найти все комплексные аналитические функции ff, определённые на единичном круге D\mathbb {D} и удовлетворяющие

f(1n)+f(1n)=0 f''\left(\frac{1}{n}\right)+f\left(\frac{1}{n}\right) = 0

при n=2,3,4,n = 2, 3, 4, \ldots.

?
Задача 5.6.14

Предположим, что непостоянная целая функция ff принимает вещественные значения на двух пересекающихся прямых на комплексной плоскости. Доказать, что мера каждого из углов, образованных этими прямыми, является рациональным кратным π\pi.

?
Задача 5.6.15

Пусть Ω\Omega — открытое подмножество R2\mathbb {R}^{2}, и пусть f:ΩR2f : \Omega \to \mathbb {R}^{2} — гладкое отображение. Предположим, что ff сохраняет ориентацию и переводит любую пару ортогональных кривых в пару ортогональных кривых. Показать, что ff голоморфна.

Замечание: здесь мы отождествляем R2\mathbb {R}^{2} с C\mathbb {C}.

?
Задача 5.6.16

Пусть ff — комплекснозначная функция на открытом единичном круге D\mathbb {D} комплексной плоскости, такая что функции g=f2g = f^{2} и h=f3h = f^{3} обе аналитичны. Доказать, что ff аналитична на D\mathbb {D}.

?
Задача 5.6.17

Доказать или привести контрпример: если ff — непрерывная комплекснозначная функция, определённая на связном открытом подмножестве комплексной плоскости, и если f2f^{2} аналитична, то ff аналитична.

?
Задача 5.6.18
?
(1)

Пусть GG — открытое связное подмножество комплексной плоскости, ff — аналитическая функция на GG, не тождественно равная 00, и nn — натуральное число. Предположим, что ff имеет аналитический корень степени nn в GG; то есть существует аналитическая функция gg в GG, такая что gn=fg^{n} = f. Доказать, что ff имеет ровно nn аналитических корней степени nn в GG.

(2)

Привести пример непрерывной вещественнозначной функции на [0,1][0,1], имеющей более двух непрерывных квадратных корней на [0,1][0,1].

Задача 5.6.19
?
(1)

Доказать, что если ff голоморфна на единичном круге D\mathbb {D} и f(z)0f(z) \neq 0 для всех zDz \in \mathbb {D}, то существует голоморфная функция gg на D\mathbb {D}, такая что f(z)=eg(z)f(z) = e^{g(z)} для всех zDz \in \mathbb {D}.

(2)

Остаётся ли верным заключение части 1, если D\mathbb {D} заменить произвольным связным открытым множеством в C\mathbb {C}?

Задача 5.6.20

Пусть функция ff аналитична в области z>1\left|z\right|>1 комплексной плоскости. Доказать, что если ff вещественнозначна на интервале (1,)(1, \infty ) вещественной оси, то ff вещественнозначна и на интервале (,1)(-\infty , -1).

?
Задача 5.6.21

Пусть функция ff аналитична на комплексной плоскости, вещественна на вещественной оси, равна 00 в начале координат и не тождественно равна 00. Доказать, что если ff переводит мнимую ось в прямую линию, то эта прямая должна быть либо вещественной, либо мнимой осью.

?
Задача 5.6.22

Пусть целая функция ff вещественнозначна на прямых Im(z)=0\mathrm{Im}\left(z\right) = 0 и Im(z)=π\mathrm{Im}\left(z\right) = \pi. Доказать, что ff имеет 2πi2\pi i в качестве периода: f(z+2πi)=f(z)f(z+2\pi i) = f(z) для всех zz.

?
Задача 5.6.23

Пусть f(z)f(z) аналитична при z0z \neq 0, и предположим, что f(1/z)=f(z)f(1/z) = f(z). Предположим также, что f(z)f(z) вещественна для всех zz на единичной окружности z=1\left|z\right| = 1. Доказать, что f(z)f(z) вещественна для всех вещественных z0z \neq 0.

?
Задача 5.6.24

Пусть pp — непостоянный комплексный многочлен, все нули которого лежат в полуплоскости Im(z)>0\mathrm{Im}\left(z\right)>0.

?
(1)

Доказать, что Im((p/p))>0\mathrm{Im}\left((p'/p)\right)>0 на вещественной оси.

(2)

Найти соотношение между degp\deg p и

Im(p(x)p(x))dx. \int _{-\infty }^{\infty } \mathrm{Im}\left(\frac{p'(x)}{p(x)}\right) \, dx.
Задача 5.6.25

Пусть ff — аналитическая функция на связном открытом подмножестве GG комплексной плоскости. Предположим, что для каждой точки zz в GG найдётся натуральное nn, такое что nn-я производная ff обращается в нуль в zz. Доказать, что ff — многочлен.

?
Задача 5.6.26

Пусть функция ff аналитична во всей комплексной плоскости, вещественнозначна на вещественной оси и имеет положительную мнимую часть в верхней полуплоскости. Докажите, что f(x)>0f'(x)>0 для вещественных xx.

?
Задача 5.6.27
?
(1)

Пусть UU и VV — открытые связные подмножества комплексной плоскости, и пусть ff — аналитическая функция на UU такая, что f(U)Vf(U) \subset V. Предположим, что f1(K)f^{-1}(K) компактно всякий раз, когда KK — компактное подмножество VV. Докажите, что f(U)=Vf(U) = V.

(2)

Докажите, что последнее равенство может нарушаться, если в предыдущем утверждении аналитичность заменить на непрерывность.

Задача 5.6.28

Пусть f=u+ivf = u+iv и g=p+iqg = p+iq — аналитические функции, определённые в окрестности начала координат комплексной плоскости. Предположим, что g(0)<f(0)\left|g'(0)\right|<\left|f'(0)\right|. Докажите, что существует окрестность начала координат, в которой функция h=f+gh = f+\overline{g} инъективна.

?
Задача 5.6.29

Докажите или опровергните: если функция ff аналитична во всей комплексной плоскости и если ff отображает каждую неограниченную последовательность в неограниченную последовательность, то ff является многочленом.

?
Задача 5.6.30

Определите группу Aut(C)\operatorname {Aut}(\mathbb {C}) всех биективных аналитических отображений C\mathbb {C} на C\mathbb {C}.

?
Задача 5.6.31

Пусть f(z)f(z) — непостоянная мероморфная функция. Комплексное число ww называется периодом ff, если f(z+w)=f(z)f(z+w) = f(z) для всех zz.

?
(1)

Покажите, что если w1w_{1} и w2w_{2} — периоды, то и n1w1+n2w2n_{1}w_{1}+n_{2}w_{2} являются периодами для всех целых n1n_{1} и n2n_{2}.

(2)

Покажите, что в любой ограниченной области комплексной плоскости существует не более конечного числа периодов ff.

Задача 5.6.32

Пусть функция ff аналитична в проколотом диске 0<z<r00<\left|z\right|<r_{0}, с рядом Лорана

f(z)=cnzn. f(z) = \sum _{-\infty }^{\infty } c_{n}z^{n}.

Предположим, что существует положительное число MM такое, что

r402πf(reiθ)2dθ<M,0<r<r0. r^{4}\int _{0}^{2\pi } \left|f(re^{i\theta })\right|^{2} \, d\theta <M, \qquad 0<r<r_{0}.

Докажите, что cn=0c_{n} = 0 при n<2n<-2.

?
Задача 5.6.33

Пусть a>0a>0. Покажите, что комплексная функция

f(z)=1+z+az21z+az2 f(z) = \frac{1+z+az^{2}}{1-z+az^{2}}

удовлетворяет f(z)<1\left|f(z)\right|<1 для всех zz в открытой левой полуплоскости Re(z)<0\mathrm{Re}\left(z\right)<0.

?
Задача 5.6.34

Пусть ff — непрерывная вещественнозначная функция на [0,1][0,1], и пусть функция hh на комплексной плоскости определена как

h(z)=01f(t)cosztdt. h(z) = \int _{0}^{1} f(t)\cos zt \, dt.
?
(1)

Докажите, что hh аналитична на всей плоскости.

(2)

Докажите, что hh является нулевой функцией только если ff является нулевой функцией.

Задача 5.6.35

Пусть ff — непрерывная комплекснозначная функция на [0,1][0,1], и определим функцию gg как

g(z)=01f(t)etzdt(zC). g(z) = \int _{0}^{1} f(t)e^{tz} \, dt \qquad (z \in \mathbb {C}).

Докажите, что gg аналитична во всей комплексной плоскости.

?
Задача 5.6.36

Пусть ff и gg — аналитические функции в открытом единичном диске, и пусть CrC_{r} обозначает окружность с центром 00 и радиусом rr, ориентированную против часовой стрелки.

?
(1)

Докажите, что интеграл

12πiCr1wf(w)g(zw)dw \frac{1}{2\pi i} \int _{C_{r}} \frac{1}{w}f(w)g\left(\frac{z}{w}\right) \, dw

не зависит от rr, пока z<r<1\left|z\right|<r<1, и что он определяет аналитическую функцию h(z)h(z), z<1\left|z\right|<1.

(2)

Докажите или приведите контрпример: если f≢0f \not\equiv 0 и g≢0g \not\equiv 0, то h≢0h \not\equiv 0.

Задача 5.6.37

Пусть FF — непрерывная комплекснозначная функция на интервале [0,1][0,1]. Пусть

f(z)=01F(t)tzdt, f(z) = \int _{0}^{1} \frac{F(t)}{t-z} \, dt,

для zz — комплексного числа, не принадлежащего [0,1][0,1].

?
(1)

Докажите, что ff является аналитической функцией.

(2)

Выразите коэффициенты ряда Лорана функции ff в окрестности \infty через FF. Используйте результат, чтобы показать, что FF однозначно определяется функцией ff.

Задача 5.6.38

Пусть f(z)f(z) — мероморфная функция на комплексной плоскости. Предположим, что для каждого многочлена p(z)Czp(z) \in \mathbb {C}^{z} и каждого замкнутого контура Γ\Gamma, избегающего полюсов ff, выполняется

Γp(z)2f(z)dz=0. \int _{\Gamma } p(z)^{2}f(z) \, dz = 0.

Докажите, что f(z)f(z) является целой функцией.

?