RIP писал(а):
C0rWin писал(а):
Хорошо, у меня появилась другая идея на почве полного отчаяния. А если я для начала посмотрю на трансформацию окружности с помощью
![$z^2+z$ $z^2+z$](https://dxdy-04.korotkov.co.uk/f/b/d/6/bd62d12d96f0e67919a03030e2371fdc82.png)
, а потом то, что получилось, прогоню через
![$ln(z)$ $ln(z)$](https://dxdy-01.korotkov.co.uk/f/0/0/6/0062f12b27e7b9cb29ab5e52221a566482.png)
? Но опять-таки не ясно с веткой.
Вот это неплохая идея. Я бы именно так и решал.
Чтобы определиться с ветвью, попробуйте понять, чему равно f(1).
Добавлено спустя 12 минут 11 секунд:C0rWin писал(а):
Позволю себе попробовать объяснить себя еще раз, ибо мне кажется, тут недопонимание. Итак, мне сказано воспользоваться веткой логарифма, для которой выполняется
![$log(1)=0$ $log(1)=0$](https://dxdy-01.korotkov.co.uk/f/c/5/d/c5d6c0864257ebced408cd9e3090878482.png)
.Я знаю что
![$log(z)=log|z|+iarg(z)+i2\pi n$ $log(z)=log|z|+iarg(z)+i2\pi n$](https://dxdy-02.korotkov.co.uk/f/5/8/b/58b597b013302642767bb452346a288982.png)
. Мой следующий шаг, как мне кажется очень логичный, а именно
![$log(1)=log|1|+iarg(1)+i2\pi n=0$ $log(1)=log|1|+iarg(1)+i2\pi n=0$](https://dxdy-02.korotkov.co.uk/f/1/a/d/1ad4b751ee7ac283ce8cfaa44ba14cde82.png)
откуда я заключаю, что
![$n=0$ $n=0$](https://dxdy-04.korotkov.co.uk/f/7/3/7/73736f8725b398dd13e17ef7c1d0a94a82.png)
.
На самом деле, если быть аккуратным, надо писать
![$$log(z)=log|z|+iarg(z)+i2\pi n(z),\ n(z)\in\mathbb{Z}.$$ $$log(z)=log|z|+iarg(z)+i2\pi n(z),\ n(z)\in\mathbb{Z}.$$](https://dxdy-04.korotkov.co.uk/f/7/a/4/7a4cd04fd005fe0ff32f590ba4d5c45282.png)
Если взять
![$n(z)=const=n$ $n(z)=const=n$](https://dxdy-01.korotkov.co.uk/f/8/7/5/87503161258cefa84ce7e1c512864a6d82.png)
при всех
![$z\ne0$ $z\ne0$](https://dxdy-01.korotkov.co.uk/f/8/e/a/8ea6a579921bcc6fe716d3bdbc800f8882.png)
, то в точках
![$z<0$ $z<0$](https://dxdy-03.korotkov.co.uk/f/6/a/5/6a57950ad9c533abaca28b3ca1e69d3582.png)
функция будет разрывной. А поэтому
![$\log(z+z^2)=\ln|z+z^2|+i\arg(z+z^2)+n$ $\log(z+z^2)=\ln|z+z^2|+i\arg(z+z^2)+n$](https://dxdy-04.korotkov.co.uk/f/7/f/3/7f36db4f1e7f03461750a77b6f38427082.png)
будет иметь разрыв в точках
![$z=e^{\pm\frac{2\pi i}3}$ $z=e^{\pm\frac{2\pi i}3}$](https://dxdy-03.korotkov.co.uk/f/2/b/3/2b381c6c16d66483270646a013338bdb82.png)
, какое бы
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
Вы ни выбрали.
А можно подпробнее показать как, Вы показывете\доказываете, что существует разрыв имеено в этих точках?
В конечном итоге я решил эту задачу, но решением это правда трудно назвать, это больше похоже на изнасилование. Я знаю что мне надо трансформировать точки на еденичной окружности т.е.
![$z=e^{it} $z=e^{it}](https://dxdy-04.korotkov.co.uk/f/f/3/9/f39d5f66c20dd8ff2365a95db11e386682.png)
. Теперь я вижу что для этих точек если посмотреть на выдуманную часть логарифмической функции то я увижу что он изменяется
![$-3\pi /2 <t< 3\pi /2$ $-3\pi /2 <t< 3\pi /2$](https://dxdy-01.korotkov.co.uk/f/0/8/f/08f3e77fe46c41eb216a41dda735966982.png)
. Но тогда это не вписывается в итервал шириной
![2 \pi 2 \pi](https://dxdy-02.korotkov.co.uk/f/d/f/e/dfee5dbf969a089f8c474ffe6510b52582.png)
. Значит изначально я просто поделю свою область на три куска и трасформирую их по очереди т.е.
![$-2\pi/3<t<2\pi/3, -\pi<t<-2\pi/3, 2\pi/3<t<\pi $-2\pi/3<t<2\pi/3, -\pi<t<-2\pi/3, 2\pi/3<t<\pi](https://dxdy-04.korotkov.co.uk/f/b/3/0/b30e54a7eb217783acce2bc80636a0c282.png)
. И теперь я посматрю куда переходят эти точки. Надеюсь теперь я сделал правильно. Заранее извиняюсь за возможные неточности.