10

Принцип максимума

[31/0%]
Показать
LaTeX
Задача 10.1

Пусть функция f(z)f(z) регулярна в области GG. Доказать, что если для любой последовательности точек zn∈Gz_{n} \in G, сходящейся к какой-либо точке границы области GG, имеет место неравенство

lim‾⁡n→∞∣f(zn)∣⩽M, \varlimsup _{n \rightarrow \infty }\left|f\left(z_{n}\right)\right| \leqslant M,

то или в каждой внутренней точке области GG имеет место неравенство ∣f(z)∣<M\left|f(z)\right| < M, или f(z)≡Meiφf(z) \equiv M e^{i \varphi }.

?
Задача 10.2

Пусть функция f(z)f(z) регулярна в круге ∣z∣<1\left|z\right| < 1 и удовлетворяет в этом круге неравенству ∣f(z)∣<M\left|f(z)\right| < M. Доказать, что если f(0)=0f(0) = 0, то функция f(z)f(z) удовлетворяет в круге ∣z∣<1\left|z\right| < 1 и более сильному неравенству

∣f(z)∣⩽M∣z∣ |f(z)| \leqslant M|z|

причем если хотя бы в одной точке z0,0<∣z0∣<1z_{0}, 0 < \left|z_{0}\right| < 1, имеет место равенство ∣f(z0)∣=M∣z0∣\left|f\left(z_{0}\right)\right| = M\left|z_{0}\right|, то

f(z)=Mzeiφ, f(z) = M z e^{i \varphi },

где φ\varphi — действительная постоянная. (Лемма Швариа.)

?
Задача 10.3

Пусть функция f(z)f(z) регулярна в круге ∣z∣<R\left|z\right| < R и удовлетворяет там неравенству ∣f(z)∣<M\left|f(z)\right| < M, а f(0)=0f(0) = 0. Доказать, что

∣f′(0)∣⩽MR \left|f^{\prime }(0)\right| \leqslant \frac{M}{R}

причем знак равенства возможен только для функции f(z)=Meiφ⋅zRf(z) = M e^{i \varphi } \cdot \frac{z}{R}.

?
Задача 10.4

Пусть функция f(z)f(z) регулярна в круге ∣z∣<R\left|z\right| < R, удовлетворяет там неравенству ∣f(z)∣<M\left|f(z)\right| < M и обращается в нуль в некоторой точке z0z_{0} этого круга. Доказать неравенства

∣f(z)∣⩽MR∣z−z0∣∣R2−zzˉ0∣(∣z∣<R);∣f′(z0)∣⩽MRR2−∣z0∣2. |f(z)| \leqslant M \frac{R\left|z-z_{0}\right|}{\left|R^{2}-z \bar{z}_{0}\right|} \quad (|z| < R) ;\left|f^{\prime }\left(z_{0}\right)\right| \leqslant \frac{M R}{R^{2}-\left|z_{0}\right|^{2}}.
?
Задача 10.5

Пусть функция f(z)f(z) регулярна в полосе ∣Re⁡z∣<π/4\left|\operatorname {Re} z\right| < \pi / 4, удовлетворяет там неравенству ∣f(z)∣<1\left|f(z)\right| < 1 и обращается в нуль в точке z=0z = 0. Доказать, что ∣f(z)∣⩽∣tg⁡z∣\left|f(z)\right| \leqslant \left|\operatorname {tg} z\right| в этой полосе.

?
Задача 10.6

Пусть функция f(z)f(z) регулярна при Re⁡z>0\operatorname {Re} z > 0, удовлетворяет там неравенству ∣f(z)∣<1\left|f(z)\right| < 1 и обращается в нуль в точках z1,z2,…,zmz_{1}, z_{2}, \ldots , z_{m}. Доказать, что

∣f(z)∣⩽∣z−z1∣∣z−z2∣…∣z−zm∣∣z+zˉ1∣∣z+zˉ2∣…∣z+zˉm∣(Re⁡z>0) \left|f(z)\right| \leqslant \frac{\left|z-z_{1}\right|\left|z-z_{2}\right| \ldots \left|z-z_{m}\right|}{\left|z+\bar{z}_{1}\right|\left|z+\bar{z}_{2}\right| \ldots \left|z+\bar{z}_{m}\right|} \quad (\operatorname {Re} z > 0)
?
Задача 10.7

Пусть функция f(z)f(z) регулярна и ограничена в полуплоскости Re⁡z>0\operatorname {Re} z > 0, а в последовательности точек {zn},zn→∞\left\{ z_{n}\right\} , z_{n} \rightarrow \infty, этой полуплоскости обращается в нуль. Доказать, что или f(z)≡0f(z) \equiv 0, или ряд ∑n=1∞Re⁡1zn\sum_{n = 1}^{\infty } \operatorname {Re} \frac{1}{z_{n}} сходится.

?
Задача 10.8

Пусть функция f(z)f(z) регулярна и ограничена в круге ∣z∣<R\left|z\right| < R, а в последовательности {zn}\left\{ z_{n}\right\} точек этого круга обращается в нуль. Доказать, что или f(z)≡0f(z) \equiv 0, или ряд ∑n=1∞(R−∣zn∣)\sum_{n = 1}^{\infty }\left(R-\left|z_{n}\right|\right) сходится.

?
Задача 10.9

Пусть функция f(z)f(z) регулярна в круге ∣z∣<1\left|z\right| < 1, удовлетворяет там неравенству ∣f(z)∣<M\left|f(z)\right| < M, а f(0)=w0f(0) = w_{0}. Доказать неравенство

∣f(z)−w0∣∣M2−f(z)wˉ0∣⩽∣z∣M(∣z∣<1) \frac{\left|f(z)-w_{0}\right|}{\left|M^{2}-f(z) \bar{w}_{0}\right|} \leqslant \frac{|z|}{M} \quad (|z| < 1)
?
Задача 10.10

Пусть функция f(z)f(z) регулярна в круге ∣z∣<R\left|z\right| < R и удовлетворяет неравенствам ∣f(z)∣<M,∣f(0)∣⩽m<M\left|f(z)\right| < M,\left|f(0)\right| \leqslant m < M. Доказать неравенство

∣f(z)∣⩽MM∣z∣+mRMR+m∣z∣(∣z∣<R) |f(z)| \leqslant M \frac{M|z|+m R}{M R+m|z|} \quad (|z| < R)
?
Задача 10.11

Пусть P(z)P(z) — многочлен степени nn, а M(r)=max⁡∣z∣=r∣P(z)∣M(r) = \max_{\left|z\right| = r}\left|P(z)\right|. Доказать, что при 0<r1<r20 < r_{1} < r_{2} имеет место неравенство

M(r1)r1n⩾M(r2)r2n, \frac{M\left(r_{1}\right)}{r_{1}^{n}} \geqslant \frac{M\left(r_{2}\right)}{r_{2}^{n}},

причем знак равенства хотя бы при одной паре значений r1r_{1} и r2r_{2} возможен только для многочлена вида P(z)=aznP(z) = a z^{n}.

?
Задача 10.12

Пусть P(z)=zn+a1zn−1+…+anP(z) = z^{n}+a_{1} z^{n-1}+\ldots +a_{n}. Доказать, что хотя бы в одной точке окружности ∣z∣=1\left|z\right| = 1 имеет место неравенство ∣P(z)∣>1\left|P(z)\right| > 1, или P(z)≡znP(z) \equiv z^{n}.

?
Задача 10.13

Пусть P(z)P(z) — многочлен степени nn, удовлетворяющий на интервале (−1,1)(-1,1) неравенству ∣P(z)∣⩽M\left|P(z)\right| \leqslant M. Доказать, что в каждой точке z0z_{0}, лежащей вне этого интервала, имеет место неравенство ∣P(z0)∣⩽M(a+b)n\left|P\left(z_{0}\right)\right| \leqslant M(a+b)^{n}, где aa и bb — полуоси эллипса с фокусами -1 и 1, проходящего через точку z0z_{0}.

?
Задача 10.14

Пусть функция f(z)f(z) регулярна в области GG и пусть inf⁡z∈G∣f(z)∣=μ>0\inf_{z \in G}\left|f(z)\right| = \mu > 0. Доказать, что или f(z)≡μeiφf(z) \equiv \mu e^{i \varphi }, или ∣f(z)∣>μ\left|f(z)\right| > \mu для каждой внутренней точки области GG.

?
Задача 10.15

Пусть функция f(z)f(z) регулярна в области GG и непрерывна в ее замыкании Gˉ\bar{G}, а на границе области GG ее модуль сохраняет постоянное значение. Доказать, что если функция f(z)f(z) отлична от тождественной постоянной, то она обращается в нуль хотя бы в одной точке области GG.

?
Задача 10.16

Пусть функции f1(z),…,fm(z)f_{1}(z), \ldots , f_{m}(z) регулярны в области GG и пусть M=lim‾⁡z→∂G{∣f1(z)∣+…+∣fm(z)∣}M = \varlimsup_{z \rightarrow \partial G}\left\{ \left|f_{1}(z)\right|+\ldots +\left|f_{m}(z)\right|\right\}. Доказать, что если хотя бы одна из fk(z)f_{k}(z) отлична от тождественной постоянной, то в каждой точке из GG имеет место неравенство ∣f1(z)∣+…+∣fm(z)∣<M\left|f_{1}(z)\right|+\ldots +\left|f_{m}(z)\right| < M.

?
Задача 10.17

Пусть функция f(z)f(z) регулярна в круге ∣z∣<R\left|z\right| < R, а mm — целое положительное число. Доказать, что если функция f(z)f(z) отлична от тождественной постоянной, то функция

Im(r)=12π∫02π∣f(reiφ)∣mdφ I_{m}(r) = \frac{1}{2 \pi } \int _{0}^{2 \pi }\left|f\left(r e^{i \varphi }\right)\right|^{m} d \varphi

монотонно возрастает при 0⩽r<R0 \leqslant r < R.

?
Задача 10.18

Доказать, что функция u(z)u(z), гармоническая в области GG, субгармонична в этой области.

?
Задача 10.19

Пусть функция u(z)u(z) гармонична в области GG. Обозначим M=sup⁡{u(z):z∈G},m=inf⁡{u(z):z∈G}M = \sup \left\{ u(z): z \in G\right\} , m = \inf \left\{ u(z): z \in G\right\}. Доказать, что если m<Mm < M, то в каждой точке области GG справедливы неравенства m<u(z)<Mm < u(z) < M. (Приниип максимума и минимума для гармонических функиий.)

?
Задача 10.20

Доказать, что функция u(z)=∣f(z)∣u(z) = \left|f(z)\right| субгармонична в области GG, если функция f(z)f(z) регулярна в области GG.

?
Задача 10.21

Пусть функция u(z)u(z) имеет в области G⊂CG \subset \mathbb {C} непрерывные частные производные второго порядка (по x=Re⁡zx = \operatorname {Re} z и по y=Im⁡zy = \operatorname {Im} z) и пусть ∂2u∂x2+∂2u∂y2⩾0\frac{\partial^{2} u}{\partial x^{2}}+\frac{\partial^{2} u}{\partial y^{2}} \geqslant 0 в области GG. Доказать, что функция u(z)u(z) субгармонична в области GG.

?
Задача 10.22

Пусть функция f(z)f(z) регулярна в области GG. Доказать, что функции u(z)=ln⁡∣f(z)∣u(z) = \ln \left|f(z)\right| и u(z)=∣f(z)∣α,α>0u(z) = |f(z)|^{\alpha }, \alpha > 0, субгармоничны в области GG.

?
Задача 10.23

Пусть функции u1(z)u_{1}(z) и u2(z)u_{2}(z) субгармоничны в области GG. Доказать, что:

?
(1)

если числа aa и bb положительны, то функция au1(z)+bu2(z)a u_{1}(z)+b u_{2}(z) субгармонична в области GG;

(2)

функция u(z)=max⁡{u1(z),u2(z)}u(z) = \max \left\{ u_{1}(z), u_{2}(z)\right\} субгармонична в области GG;

(3)

функция u(z)=∣u1(z)∣αu(z) = \left|u_{1}(z)\right|^{\alpha } при α>1\alpha > 1 субгармонична в области GG;

(4)

при α>0\alpha > 0 функция u(z)=eαu1(z)u(z) = e^{\alpha u_{1}(z)} субгармонична в области GG.

Задача 10.24

Пусть функции f1(z),…,fm(z)f_{1}(z), \ldots , f_{m}(z) регулярны в области GG. Доказать, что при α>0\alpha > 0 функция u(z)=∣f1(z)∣α+…+∣fm(z)∣αu(z) = \left|f_{1}(z)\right|^{\alpha }+\ldots +\left|f_{m}(z)\right|^{\alpha } субгармонична в области GG.

?
Задача 10.25

Пусть функция f(z)f(z) регулярна в круге ∣z∣<R\left|z\right| < R. Доказать, что функция

Iα(r)=12π∫02π∣f(reiφ)∣αdφ I_{\alpha }(r) = \frac{1}{2 \pi } \int _{0}^{2 \pi }\left|f\left(r e^{i \varphi }\right)\right|^{\alpha } d \varphi

при любом α>0\alpha > 0 является монотонно возрастающей функцией rr в интервале 0⩽r<R0 \leqslant r < R (если f(z)≢f(z) \not\equiv const).

?
Задача 10.26

Доказать, что функция

u(z)=φ(Re⁡z) u(z) = \varphi (\operatorname {Re} z)

субгармонична в полосе a<Re⁡z<ba < \operatorname {Re} z < b в том и только в том случае, когда функция φ(x)\varphi (x) выпукла книзу на интервале a<x<ba < x < b.

?
Задача 10.27

Доказать, что функция u(reiθ)=φ(r)u\left(r e^{i \theta }\right) = \varphi (r) субгармонична в кольце ρ<∣z∣<R\rho < \left|z\right| < R в том и только в том случае, если функция φ(r)\varphi (r) логарифмически выпукла на интервале (ρ,R)(\rho , R), т. е. если для любых трех значений ρ<r1<r2<r3<R\rho < r_{1} < r_{2} < r_{3} < R имеет место неравенство

φ(r2)⩽φ(r1)ln⁡r3−ln⁡r2ln⁡r3−ln⁡r1+φ(r3)ln⁡r2−ln⁡r1ln⁡r3−ln⁡r1 \varphi \left(r_{2}\right) \leqslant \varphi \left(r_{1}\right) \frac{\ln r_{3}-\ln r_{2}}{\ln r_{3}-\ln r_{1}}+\varphi \left(r_{3}\right) \frac{\ln r_{2}-\ln r_{1}}{\ln r_{3}-\ln r_{1}}
?
Задача 10.28

Доказать, что функция u(reiθ)=rρφ(θ)u\left(r e^{i \theta }\right) = r^{\rho } \varphi (\theta ) субгармонична в угле α<θ<β\alpha < \theta < \beta в том и только в том случае, когда функция φ(θ)\varphi (\theta ) тригонометрически ρ\rho-выпукла на интервале (α,β)(\alpha , \beta ), т. е. если для любой тройки значений θ1,θ2,θ3\theta_{1}, \theta_{2}, \theta_{3}, удовлетворяющих условиям α<θ1<θ2<θ3<β\alpha < \theta_{1} < \theta_{2} < \theta_{3} < \beta и θ3−θ1<π/ρ\theta_{3}-\theta_{1} < \pi / \rho, имеет место неравенство

φ(θ2)⩽φ(θ1)sin⁡ρ(θ3−θ2)sin⁡ρ(θ3−θ1)+φ(θ3)sin⁡ρ(θ2−θ1)sin⁡ρ(θ3−θ1) \varphi \left(\theta _{2}\right) \leqslant \varphi \left(\theta _{1}\right) \frac{\sin \rho \left(\theta _{3}-\theta _{2}\right)}{\sin \rho \left(\theta _{3}-\theta _{1}\right)}+\varphi \left(\theta _{3}\right) \frac{\sin \rho \left(\theta _{2}-\theta _{1}\right)}{\sin \rho \left(\theta _{3}-\theta _{1}\right)}
?
Задача 10.29

Пусть функция f(z)f(z) регулярна в кольце ρ<∣z∣<R\rho < \left|z\right| < R. Обозначим

M(r)=max⁡∣z∣=r∣f(z)∣ M(r) = \max _{\left|z\right| = r}\left|f(z)\right|

Доказать, что при ρ<r1<r2<r3<R\rho < r_{1} < r_{2} < r_{3} < R имеет место неравенство

ln⁡M(r2)⩽ln⁡r3−ln⁡r2ln⁡r3−ln⁡r1ln⁡M(r1)+ln⁡r2−ln⁡r1ln⁡r3−ln⁡r1ln⁡M(r3) \ln M\left(r_{2}\right) \leqslant \frac{\ln r_{3}-\ln r_{2}}{\ln r_{3}-\ln r_{1}} \ln M\left(r_{1}\right)+\frac{\ln r_{2}-\ln r_{1}}{\ln r_{3}-\ln r_{1}} \ln M\left(r_{3}\right)

(Теорема Адамара о трех кругах.)

?
Задача 10.30

Пусть функция f(z)f(z) регулярна в кольце ρ<∣z∣<R\rho < \left|z\right| < R. Обозначим

Iα(r)=12π∫02π∣f(reiφ)∣αdφ(α>0) I_{\alpha }(r) = \frac{1}{2 \pi } \int _{0}^{2 \pi }\left|f\left(r e^{i \varphi }\right)\right|^{\alpha } d \varphi \quad (\alpha > 0)

Доказать, что при ρ<r1<r2<r3<R\rho < r_{1} < r_{2} < r_{3} < R имеет место неравенство

Iα(r1)ln⁡r3r2+Iα(r2)ln⁡r1r3+Iα(r3)ln⁡r2r1⩾0 I_{\alpha }\left(r_{1}\right) \ln \frac{r_{3}}{r_{2}}+I_{\alpha }\left(r_{2}\right) \ln \frac{r_{1}}{r_{3}}+I_{\alpha }\left(r_{3}\right) \ln \frac{r_{2}}{r_{1}} \geqslant 0
?
Задача 10.31

Пусть функция f(z)f(z) регулярна в полуплоскости Re⁡z>0\operatorname {Re} z > 0 и удовлетворяет неравенству

∣f(z)∣⩽M∣z∣(1+∣z∣)α,α>1(Re⁡z>0) \left|f(z)\right| \leqslant \frac{M\left|z\right|}{(1+\left|z\right|)^{\alpha }}, \quad \alpha > 1 \quad (\operatorname {Re} z > 0)

Доказать, что функция

I(φ)=∫0∞∣f(reiφ)∣drr I(\varphi ) = \int _{0}^{\infty }\left|f\left(r e^{i \varphi }\right)\right| \frac{d r}{r}

является выпуклой вниз функцией φ\varphi на интервале −π/2<φ<π/2-\pi / 2 < \varphi < \pi / 2.

?