Proving an integral formula containing the Poisson kernel
Specifically, the question is as follows:
Let $mathbb{D}$ be the open unit disk in $mathbb{C}$ and suppose that $f:bar{mathbb{D}}rightarrowmathbb{C}$ is a continuous function such that both $Re f$ and $Im f$ are harmonic.
(a) Show that
$$f(re^{itheta})=frac{1}{2pi}int_{-pi}^pi f(e^{it})P_r(theta-t)dt$$
for all $re^{itheta}$ in $mathbb{D}$.
(b) Show that $f$ is holomorphic in $mathbb{D}$ if and only if
$$int_{-pi}^pi f(e^{it})e^{int}dt=0$$
for all $ngeq1$.
I believe (a) is a direct consequence of Poisson's representation theorem for harmonic functions, stated as follows:
Let $mathbb{D}$ be the open unit disk and $f:partialmathbb{D}rightarrowmathbb{R}$ be continuous. Then there exists a continuous function $u:bar{mathbb{D}}rightarrowmathbb{R}$ such that $u(z)=f(z)$ if $zinpartialmathbb{D}$, $u$ is harmonic on $mathbb{D}$, and $u(re^{itheta})=frac{1}{2pi}int_{-pi}^pi P_r(theta-t)f(e^{it})dt$ and $u$ is unique.
It seems to me that this can just be applied to the real and imaginary parts of the function $f$ from the question to derive the desired result, but maybe I'm making a careless mistake?
For (b), it's not obvious to me how part (a) assists in the solution. This is a homework question, so I am looking for assistance with understanding it, but not a full solution. Thanks.
integration complex-analysis harmonic-functions
add a comment |
Specifically, the question is as follows:
Let $mathbb{D}$ be the open unit disk in $mathbb{C}$ and suppose that $f:bar{mathbb{D}}rightarrowmathbb{C}$ is a continuous function such that both $Re f$ and $Im f$ are harmonic.
(a) Show that
$$f(re^{itheta})=frac{1}{2pi}int_{-pi}^pi f(e^{it})P_r(theta-t)dt$$
for all $re^{itheta}$ in $mathbb{D}$.
(b) Show that $f$ is holomorphic in $mathbb{D}$ if and only if
$$int_{-pi}^pi f(e^{it})e^{int}dt=0$$
for all $ngeq1$.
I believe (a) is a direct consequence of Poisson's representation theorem for harmonic functions, stated as follows:
Let $mathbb{D}$ be the open unit disk and $f:partialmathbb{D}rightarrowmathbb{R}$ be continuous. Then there exists a continuous function $u:bar{mathbb{D}}rightarrowmathbb{R}$ such that $u(z)=f(z)$ if $zinpartialmathbb{D}$, $u$ is harmonic on $mathbb{D}$, and $u(re^{itheta})=frac{1}{2pi}int_{-pi}^pi P_r(theta-t)f(e^{it})dt$ and $u$ is unique.
It seems to me that this can just be applied to the real and imaginary parts of the function $f$ from the question to derive the desired result, but maybe I'm making a careless mistake?
For (b), it's not obvious to me how part (a) assists in the solution. This is a homework question, so I am looking for assistance with understanding it, but not a full solution. Thanks.
integration complex-analysis harmonic-functions
add a comment |
Specifically, the question is as follows:
Let $mathbb{D}$ be the open unit disk in $mathbb{C}$ and suppose that $f:bar{mathbb{D}}rightarrowmathbb{C}$ is a continuous function such that both $Re f$ and $Im f$ are harmonic.
(a) Show that
$$f(re^{itheta})=frac{1}{2pi}int_{-pi}^pi f(e^{it})P_r(theta-t)dt$$
for all $re^{itheta}$ in $mathbb{D}$.
(b) Show that $f$ is holomorphic in $mathbb{D}$ if and only if
$$int_{-pi}^pi f(e^{it})e^{int}dt=0$$
for all $ngeq1$.
I believe (a) is a direct consequence of Poisson's representation theorem for harmonic functions, stated as follows:
Let $mathbb{D}$ be the open unit disk and $f:partialmathbb{D}rightarrowmathbb{R}$ be continuous. Then there exists a continuous function $u:bar{mathbb{D}}rightarrowmathbb{R}$ such that $u(z)=f(z)$ if $zinpartialmathbb{D}$, $u$ is harmonic on $mathbb{D}$, and $u(re^{itheta})=frac{1}{2pi}int_{-pi}^pi P_r(theta-t)f(e^{it})dt$ and $u$ is unique.
It seems to me that this can just be applied to the real and imaginary parts of the function $f$ from the question to derive the desired result, but maybe I'm making a careless mistake?
For (b), it's not obvious to me how part (a) assists in the solution. This is a homework question, so I am looking for assistance with understanding it, but not a full solution. Thanks.
integration complex-analysis harmonic-functions
Specifically, the question is as follows:
Let $mathbb{D}$ be the open unit disk in $mathbb{C}$ and suppose that $f:bar{mathbb{D}}rightarrowmathbb{C}$ is a continuous function such that both $Re f$ and $Im f$ are harmonic.
(a) Show that
$$f(re^{itheta})=frac{1}{2pi}int_{-pi}^pi f(e^{it})P_r(theta-t)dt$$
for all $re^{itheta}$ in $mathbb{D}$.
(b) Show that $f$ is holomorphic in $mathbb{D}$ if and only if
$$int_{-pi}^pi f(e^{it})e^{int}dt=0$$
for all $ngeq1$.
I believe (a) is a direct consequence of Poisson's representation theorem for harmonic functions, stated as follows:
Let $mathbb{D}$ be the open unit disk and $f:partialmathbb{D}rightarrowmathbb{R}$ be continuous. Then there exists a continuous function $u:bar{mathbb{D}}rightarrowmathbb{R}$ such that $u(z)=f(z)$ if $zinpartialmathbb{D}$, $u$ is harmonic on $mathbb{D}$, and $u(re^{itheta})=frac{1}{2pi}int_{-pi}^pi P_r(theta-t)f(e^{it})dt$ and $u$ is unique.
It seems to me that this can just be applied to the real and imaginary parts of the function $f$ from the question to derive the desired result, but maybe I'm making a careless mistake?
For (b), it's not obvious to me how part (a) assists in the solution. This is a homework question, so I am looking for assistance with understanding it, but not a full solution. Thanks.
integration complex-analysis harmonic-functions
integration complex-analysis harmonic-functions
asked Nov 24 at 22:20
Atsina
791116
791116
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Poisson's representation formula here assumes only a function on the boundary. Also, one does not know the relationship between $u:bar{mathbb{D}}rightarrowmathbb{R}$ from the theorem and $f:bar{mathbb{D}}rightarrowmathbb{R}$ from the question (unless the proof of the theorem is constructive, then maybe you can deduce it), so you cannot use it like this here.
Hint for (a):
Prove it first for holomorphic functions $g$, then use that $Re f$ is the real part of some holomorphic function $g$. Same for $Im f$.
Hint for (b):
Letting $rto 1$, we have for $tneq 0$ that $P_rto 0$. Now use the identity theorem.
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f3012170%2fproving-an-integral-formula-containing-the-poisson-kernel%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Poisson's representation formula here assumes only a function on the boundary. Also, one does not know the relationship between $u:bar{mathbb{D}}rightarrowmathbb{R}$ from the theorem and $f:bar{mathbb{D}}rightarrowmathbb{R}$ from the question (unless the proof of the theorem is constructive, then maybe you can deduce it), so you cannot use it like this here.
Hint for (a):
Prove it first for holomorphic functions $g$, then use that $Re f$ is the real part of some holomorphic function $g$. Same for $Im f$.
Hint for (b):
Letting $rto 1$, we have for $tneq 0$ that $P_rto 0$. Now use the identity theorem.
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
add a comment |
Poisson's representation formula here assumes only a function on the boundary. Also, one does not know the relationship between $u:bar{mathbb{D}}rightarrowmathbb{R}$ from the theorem and $f:bar{mathbb{D}}rightarrowmathbb{R}$ from the question (unless the proof of the theorem is constructive, then maybe you can deduce it), so you cannot use it like this here.
Hint for (a):
Prove it first for holomorphic functions $g$, then use that $Re f$ is the real part of some holomorphic function $g$. Same for $Im f$.
Hint for (b):
Letting $rto 1$, we have for $tneq 0$ that $P_rto 0$. Now use the identity theorem.
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
add a comment |
Poisson's representation formula here assumes only a function on the boundary. Also, one does not know the relationship between $u:bar{mathbb{D}}rightarrowmathbb{R}$ from the theorem and $f:bar{mathbb{D}}rightarrowmathbb{R}$ from the question (unless the proof of the theorem is constructive, then maybe you can deduce it), so you cannot use it like this here.
Hint for (a):
Prove it first for holomorphic functions $g$, then use that $Re f$ is the real part of some holomorphic function $g$. Same for $Im f$.
Hint for (b):
Letting $rto 1$, we have for $tneq 0$ that $P_rto 0$. Now use the identity theorem.
Poisson's representation formula here assumes only a function on the boundary. Also, one does not know the relationship between $u:bar{mathbb{D}}rightarrowmathbb{R}$ from the theorem and $f:bar{mathbb{D}}rightarrowmathbb{R}$ from the question (unless the proof of the theorem is constructive, then maybe you can deduce it), so you cannot use it like this here.
Hint for (a):
Prove it first for holomorphic functions $g$, then use that $Re f$ is the real part of some holomorphic function $g$. Same for $Im f$.
Hint for (b):
Letting $rto 1$, we have for $tneq 0$ that $P_rto 0$. Now use the identity theorem.
answered Nov 24 at 22:48
The Phenotype
4,77591732
4,77591732
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
add a comment |
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
Thank you for the advice. So for (a), using the representation formula, since $mathbb{D}$ is simply connected, $u=Re(g)$ where $gin H(mathbb{D})$, so $g(z)=frac{1}{2pi}int_{-pi}^pifrac{e^{it}+z}{e^{it}-z}f(e^{it})dt$ (where $f$ is from the representation formula). But this isn't quite the desired result. Should I not be trying to use the representation formula at all?
– Atsina
Nov 25 at 0:57
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
For a), I think all you need to do is show that the result holds for trigonometric polynomials, then you can use a density argument plus the DCT.
– Matematleta
Nov 25 at 3:26
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
@Atsina To use my hint you don't need the representation formula, you only need to swap an integral and two series due to uniform convergence.
– The Phenotype
Nov 25 at 9:58
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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%2f3012170%2fproving-an-integral-formula-containing-the-poisson-kernel%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