Existance of an analytic function on unit disc
up vote
2
down vote
favorite
Is there an analytic function $f:B_1(0)to B_1(0)$ such that $f(0)=1/2$ and $f^{prime}(0)=3/4$? If it exists, is it unique?
The answer to the first part of the question is affirmative. We can use Scharz Pick lemma to find a Mobius transformation $f$ satisfying the condition. But is the function unique? I got stuck here. Please help.
complex-analysis holomorphic-functions mobius-transformation
add a comment |
up vote
2
down vote
favorite
Is there an analytic function $f:B_1(0)to B_1(0)$ such that $f(0)=1/2$ and $f^{prime}(0)=3/4$? If it exists, is it unique?
The answer to the first part of the question is affirmative. We can use Scharz Pick lemma to find a Mobius transformation $f$ satisfying the condition. But is the function unique? I got stuck here. Please help.
complex-analysis holomorphic-functions mobius-transformation
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
1
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Is there an analytic function $f:B_1(0)to B_1(0)$ such that $f(0)=1/2$ and $f^{prime}(0)=3/4$? If it exists, is it unique?
The answer to the first part of the question is affirmative. We can use Scharz Pick lemma to find a Mobius transformation $f$ satisfying the condition. But is the function unique? I got stuck here. Please help.
complex-analysis holomorphic-functions mobius-transformation
Is there an analytic function $f:B_1(0)to B_1(0)$ such that $f(0)=1/2$ and $f^{prime}(0)=3/4$? If it exists, is it unique?
The answer to the first part of the question is affirmative. We can use Scharz Pick lemma to find a Mobius transformation $f$ satisfying the condition. But is the function unique? I got stuck here. Please help.
complex-analysis holomorphic-functions mobius-transformation
complex-analysis holomorphic-functions mobius-transformation
asked Nov 14 at 8:54
Anupam
2,2681823
2,2681823
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
1
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19
add a comment |
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
1
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
1
1
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19
add a comment |
3 Answers
3
active
oldest
votes
up vote
4
down vote
accepted
$f(z)=frac {2z+1} {z+2}$ is one function with these properties. If $g$ is another such function define $h(z)=phi (g(z))$ where $phi (z)=frac {z-frac 1 2} {1-frac 1 2 z}$. You can verify that $h$ maps $B(0,1)$ into itself and vanishes at $0$. A simple calculation shows $h'(0)=1$. By Schwarz Lemma we get $h(z)=z$ for all $z$ from which we get $g(z)=f(z)$.
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
add a comment |
up vote
2
down vote
By Schwarz-Pick Lemma, for all $|z|<1$,
$$|f'(z)|leq frac{1-|f(z)|^2}{1-|z|^2}.$$
Note that if equality holds at some point then
$f$ must be an analytic automorphism of the unit disc.
Since for $z=0$ the above equality holds then
$$f(z)=e^{itheta}frac{z-a}{1-bar{a}z}$$
with $|a|<1$ and $thetainmathbb{R}$.
Now
$$
begin{cases}f(0)=-e^{itheta}a=1/2\
f'(0)=e^{itheta}(1-|a|^2)=3/4
end{cases}
Leftrightarrow
begin{cases}a=-1/2\
e^{itheta}=1
end{cases}
$$
and we may conclude that $f$ exists and it is unique:
$$f(z)=frac{2z+1}{z+2}.$$
add a comment |
up vote
1
down vote
The Mobius tfm $zmapsto frac{1+2z}{2+z}$ does the job. If you want $f$ to be a bijection, then the answer is yes because the only transforms that map the disk into itself bijectively are $zmapsto frac{z-a}{1-overline{a}z}e^{itheta}$, and $a,theta$ are determined by the conditions. There is something special about the choice $f'(0)=frac{3}{4}$, because otherwise you could choose $zmapsto frac{z-a}{1-overline{a}z}rho$ with $|rho|<1$.
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
add a comment |
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
$f(z)=frac {2z+1} {z+2}$ is one function with these properties. If $g$ is another such function define $h(z)=phi (g(z))$ where $phi (z)=frac {z-frac 1 2} {1-frac 1 2 z}$. You can verify that $h$ maps $B(0,1)$ into itself and vanishes at $0$. A simple calculation shows $h'(0)=1$. By Schwarz Lemma we get $h(z)=z$ for all $z$ from which we get $g(z)=f(z)$.
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
add a comment |
up vote
4
down vote
accepted
$f(z)=frac {2z+1} {z+2}$ is one function with these properties. If $g$ is another such function define $h(z)=phi (g(z))$ where $phi (z)=frac {z-frac 1 2} {1-frac 1 2 z}$. You can verify that $h$ maps $B(0,1)$ into itself and vanishes at $0$. A simple calculation shows $h'(0)=1$. By Schwarz Lemma we get $h(z)=z$ for all $z$ from which we get $g(z)=f(z)$.
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
add a comment |
up vote
4
down vote
accepted
up vote
4
down vote
accepted
$f(z)=frac {2z+1} {z+2}$ is one function with these properties. If $g$ is another such function define $h(z)=phi (g(z))$ where $phi (z)=frac {z-frac 1 2} {1-frac 1 2 z}$. You can verify that $h$ maps $B(0,1)$ into itself and vanishes at $0$. A simple calculation shows $h'(0)=1$. By Schwarz Lemma we get $h(z)=z$ for all $z$ from which we get $g(z)=f(z)$.
$f(z)=frac {2z+1} {z+2}$ is one function with these properties. If $g$ is another such function define $h(z)=phi (g(z))$ where $phi (z)=frac {z-frac 1 2} {1-frac 1 2 z}$. You can verify that $h$ maps $B(0,1)$ into itself and vanishes at $0$. A simple calculation shows $h'(0)=1$. By Schwarz Lemma we get $h(z)=z$ for all $z$ from which we get $g(z)=f(z)$.
answered Nov 14 at 9:27
Kavi Rama Murthy
40k31750
40k31750
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
add a comment |
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@ Kavi Rama Murthty: That's so nice. Thanks. Can we say anything on existence and uniqueness of an analytic function from open unit disc to open unit disc fatisfying $f(0)=1/2, f^{prime}(0)=3/8?$. Here the problem is that equality in Schawrz-Pick lemma does not hold.
– Anupam
Nov 14 at 16:26
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@Anupam $frac {3z} 8 +frac 1 2$ and $frac 1 2 e^{frac 3 4 z}$ are two solutions in this case.
– Kavi Rama Murthy
Nov 14 at 23:11
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Is there any standard way to find the solutions?
– Anupam
Nov 14 at 23:26
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@ Kavi Rama Murthy: Will $1/2e^{frac{3}{4}z}$ keep images from open unit disc to open unit disc?
– Anupam
Nov 15 at 1:57
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
@Anupam I am sorry, it does not. My example is wrong. There is no general method for finding such functions.
– Kavi Rama Murthy
Nov 15 at 5:37
add a comment |
up vote
2
down vote
By Schwarz-Pick Lemma, for all $|z|<1$,
$$|f'(z)|leq frac{1-|f(z)|^2}{1-|z|^2}.$$
Note that if equality holds at some point then
$f$ must be an analytic automorphism of the unit disc.
Since for $z=0$ the above equality holds then
$$f(z)=e^{itheta}frac{z-a}{1-bar{a}z}$$
with $|a|<1$ and $thetainmathbb{R}$.
Now
$$
begin{cases}f(0)=-e^{itheta}a=1/2\
f'(0)=e^{itheta}(1-|a|^2)=3/4
end{cases}
Leftrightarrow
begin{cases}a=-1/2\
e^{itheta}=1
end{cases}
$$
and we may conclude that $f$ exists and it is unique:
$$f(z)=frac{2z+1}{z+2}.$$
add a comment |
up vote
2
down vote
By Schwarz-Pick Lemma, for all $|z|<1$,
$$|f'(z)|leq frac{1-|f(z)|^2}{1-|z|^2}.$$
Note that if equality holds at some point then
$f$ must be an analytic automorphism of the unit disc.
Since for $z=0$ the above equality holds then
$$f(z)=e^{itheta}frac{z-a}{1-bar{a}z}$$
with $|a|<1$ and $thetainmathbb{R}$.
Now
$$
begin{cases}f(0)=-e^{itheta}a=1/2\
f'(0)=e^{itheta}(1-|a|^2)=3/4
end{cases}
Leftrightarrow
begin{cases}a=-1/2\
e^{itheta}=1
end{cases}
$$
and we may conclude that $f$ exists and it is unique:
$$f(z)=frac{2z+1}{z+2}.$$
add a comment |
up vote
2
down vote
up vote
2
down vote
By Schwarz-Pick Lemma, for all $|z|<1$,
$$|f'(z)|leq frac{1-|f(z)|^2}{1-|z|^2}.$$
Note that if equality holds at some point then
$f$ must be an analytic automorphism of the unit disc.
Since for $z=0$ the above equality holds then
$$f(z)=e^{itheta}frac{z-a}{1-bar{a}z}$$
with $|a|<1$ and $thetainmathbb{R}$.
Now
$$
begin{cases}f(0)=-e^{itheta}a=1/2\
f'(0)=e^{itheta}(1-|a|^2)=3/4
end{cases}
Leftrightarrow
begin{cases}a=-1/2\
e^{itheta}=1
end{cases}
$$
and we may conclude that $f$ exists and it is unique:
$$f(z)=frac{2z+1}{z+2}.$$
By Schwarz-Pick Lemma, for all $|z|<1$,
$$|f'(z)|leq frac{1-|f(z)|^2}{1-|z|^2}.$$
Note that if equality holds at some point then
$f$ must be an analytic automorphism of the unit disc.
Since for $z=0$ the above equality holds then
$$f(z)=e^{itheta}frac{z-a}{1-bar{a}z}$$
with $|a|<1$ and $thetainmathbb{R}$.
Now
$$
begin{cases}f(0)=-e^{itheta}a=1/2\
f'(0)=e^{itheta}(1-|a|^2)=3/4
end{cases}
Leftrightarrow
begin{cases}a=-1/2\
e^{itheta}=1
end{cases}
$$
and we may conclude that $f$ exists and it is unique:
$$f(z)=frac{2z+1}{z+2}.$$
edited Nov 14 at 11:57
answered Nov 14 at 9:15
Robert Z
89.8k1056128
89.8k1056128
add a comment |
add a comment |
up vote
1
down vote
The Mobius tfm $zmapsto frac{1+2z}{2+z}$ does the job. If you want $f$ to be a bijection, then the answer is yes because the only transforms that map the disk into itself bijectively are $zmapsto frac{z-a}{1-overline{a}z}e^{itheta}$, and $a,theta$ are determined by the conditions. There is something special about the choice $f'(0)=frac{3}{4}$, because otherwise you could choose $zmapsto frac{z-a}{1-overline{a}z}rho$ with $|rho|<1$.
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
add a comment |
up vote
1
down vote
The Mobius tfm $zmapsto frac{1+2z}{2+z}$ does the job. If you want $f$ to be a bijection, then the answer is yes because the only transforms that map the disk into itself bijectively are $zmapsto frac{z-a}{1-overline{a}z}e^{itheta}$, and $a,theta$ are determined by the conditions. There is something special about the choice $f'(0)=frac{3}{4}$, because otherwise you could choose $zmapsto frac{z-a}{1-overline{a}z}rho$ with $|rho|<1$.
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
add a comment |
up vote
1
down vote
up vote
1
down vote
The Mobius tfm $zmapsto frac{1+2z}{2+z}$ does the job. If you want $f$ to be a bijection, then the answer is yes because the only transforms that map the disk into itself bijectively are $zmapsto frac{z-a}{1-overline{a}z}e^{itheta}$, and $a,theta$ are determined by the conditions. There is something special about the choice $f'(0)=frac{3}{4}$, because otherwise you could choose $zmapsto frac{z-a}{1-overline{a}z}rho$ with $|rho|<1$.
The Mobius tfm $zmapsto frac{1+2z}{2+z}$ does the job. If you want $f$ to be a bijection, then the answer is yes because the only transforms that map the disk into itself bijectively are $zmapsto frac{z-a}{1-overline{a}z}e^{itheta}$, and $a,theta$ are determined by the conditions. There is something special about the choice $f'(0)=frac{3}{4}$, because otherwise you could choose $zmapsto frac{z-a}{1-overline{a}z}rho$ with $|rho|<1$.
edited Nov 14 at 9:32
answered Nov 14 at 9:24
Richard Martin
1,2588
1,2588
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
add a comment |
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
Kavi's answer was better than this
– Richard Martin
Nov 14 at 12:58
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2998004%2fexistance-of-an-analytic-function-on-unit-disc%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
here $B_1(0)$ is the open ball or radius 1 centered at zero, or there is something different?
– Masacroso
Nov 14 at 9:26
1
@Anupam You may be interested in knowing that 3/4 is the largest possible value of $|f'(0)|$. You can look for "An extremal problem" in Rudin's RCA (chapter on MMP).
– Kavi Rama Murthy
Nov 14 at 12:19