Construct an analytic function with zeros at intersection of zeros of other analytic functions
$begingroup$
Given two complex analytic functions f and g on some compact domain $D$, I want to construct a new analytic function h on $D$ such that
$$h(z) = 0 iff f(z) = 0 text{ and } g(z) = 0$$
I want to do this without finding the zeros of $f$ and $g$.
If I wanted to find $h$ such that
$$
h(z) = 0 iff f(z) = 0 text{ or } g(z) = 0,
$$
this can be easily done by letting
$$
h(z) = f(z)g(z).
$$
In a more specific version, we can assume that zeros of $f$ and $g$ lie on the real line.
Thanks!
complex-analysis roots
$endgroup$
add a comment |
$begingroup$
Given two complex analytic functions f and g on some compact domain $D$, I want to construct a new analytic function h on $D$ such that
$$h(z) = 0 iff f(z) = 0 text{ and } g(z) = 0$$
I want to do this without finding the zeros of $f$ and $g$.
If I wanted to find $h$ such that
$$
h(z) = 0 iff f(z) = 0 text{ or } g(z) = 0,
$$
this can be easily done by letting
$$
h(z) = f(z)g(z).
$$
In a more specific version, we can assume that zeros of $f$ and $g$ lie on the real line.
Thanks!
complex-analysis roots
$endgroup$
2
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08
add a comment |
$begingroup$
Given two complex analytic functions f and g on some compact domain $D$, I want to construct a new analytic function h on $D$ such that
$$h(z) = 0 iff f(z) = 0 text{ and } g(z) = 0$$
I want to do this without finding the zeros of $f$ and $g$.
If I wanted to find $h$ such that
$$
h(z) = 0 iff f(z) = 0 text{ or } g(z) = 0,
$$
this can be easily done by letting
$$
h(z) = f(z)g(z).
$$
In a more specific version, we can assume that zeros of $f$ and $g$ lie on the real line.
Thanks!
complex-analysis roots
$endgroup$
Given two complex analytic functions f and g on some compact domain $D$, I want to construct a new analytic function h on $D$ such that
$$h(z) = 0 iff f(z) = 0 text{ and } g(z) = 0$$
I want to do this without finding the zeros of $f$ and $g$.
If I wanted to find $h$ such that
$$
h(z) = 0 iff f(z) = 0 text{ or } g(z) = 0,
$$
this can be easily done by letting
$$
h(z) = f(z)g(z).
$$
In a more specific version, we can assume that zeros of $f$ and $g$ lie on the real line.
Thanks!
complex-analysis roots
complex-analysis roots
edited Jan 7 at 7:53
Daniele Tampieri
1,9841619
1,9841619
asked Jan 7 at 5:43
Jaeyoon KimJaeyoon Kim
84
84
2
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08
add a comment |
2
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08
2
2
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There is no formula of the form $$h(z)=F(f(z),g(z)).$$
Proof: Letting $f(z)=z$, $g(z)=c$ shows that $zmapsto F(z,c)$ is holomorphic. Similarly for $F(c,w)$, so a theorem of Hartogs shows that $F$ is a holomorphic function of two variables. Now $F(0,0)=0$, but the zeroes of a holomorphic function in $Bbb C^2$ cannot be isolated, by another theorem of Hartogs. So it cannot happen that $F(f(z),g(z))=0$ if and only if $f(z)=g(z)=0$.
$endgroup$
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
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%2f3064695%2fconstruct-an-analytic-function-with-zeros-at-intersection-of-zeros-of-other-anal%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
$begingroup$
There is no formula of the form $$h(z)=F(f(z),g(z)).$$
Proof: Letting $f(z)=z$, $g(z)=c$ shows that $zmapsto F(z,c)$ is holomorphic. Similarly for $F(c,w)$, so a theorem of Hartogs shows that $F$ is a holomorphic function of two variables. Now $F(0,0)=0$, but the zeroes of a holomorphic function in $Bbb C^2$ cannot be isolated, by another theorem of Hartogs. So it cannot happen that $F(f(z),g(z))=0$ if and only if $f(z)=g(z)=0$.
$endgroup$
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
add a comment |
$begingroup$
There is no formula of the form $$h(z)=F(f(z),g(z)).$$
Proof: Letting $f(z)=z$, $g(z)=c$ shows that $zmapsto F(z,c)$ is holomorphic. Similarly for $F(c,w)$, so a theorem of Hartogs shows that $F$ is a holomorphic function of two variables. Now $F(0,0)=0$, but the zeroes of a holomorphic function in $Bbb C^2$ cannot be isolated, by another theorem of Hartogs. So it cannot happen that $F(f(z),g(z))=0$ if and only if $f(z)=g(z)=0$.
$endgroup$
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
add a comment |
$begingroup$
There is no formula of the form $$h(z)=F(f(z),g(z)).$$
Proof: Letting $f(z)=z$, $g(z)=c$ shows that $zmapsto F(z,c)$ is holomorphic. Similarly for $F(c,w)$, so a theorem of Hartogs shows that $F$ is a holomorphic function of two variables. Now $F(0,0)=0$, but the zeroes of a holomorphic function in $Bbb C^2$ cannot be isolated, by another theorem of Hartogs. So it cannot happen that $F(f(z),g(z))=0$ if and only if $f(z)=g(z)=0$.
$endgroup$
There is no formula of the form $$h(z)=F(f(z),g(z)).$$
Proof: Letting $f(z)=z$, $g(z)=c$ shows that $zmapsto F(z,c)$ is holomorphic. Similarly for $F(c,w)$, so a theorem of Hartogs shows that $F$ is a holomorphic function of two variables. Now $F(0,0)=0$, but the zeroes of a holomorphic function in $Bbb C^2$ cannot be isolated, by another theorem of Hartogs. So it cannot happen that $F(f(z),g(z))=0$ if and only if $f(z)=g(z)=0$.
answered Jan 7 at 16:10
David C. UllrichDavid C. Ullrich
59.9k43994
59.9k43994
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
add a comment |
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
Thank you for your help! I am actually asking for a weaker condition. I don't require $F$ to be holomorphic.
$endgroup$
– Jaeyoon Kim
Jan 7 at 18:14
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
$begingroup$
@JaeyoonKim ??? I didn't require $F$ to be holomorphic! If $F(f,g)$ is a holomorphic function with zero set the intersection of the two zero sets, for eery $f$ and $g$, it follows that $F$ is holomorphic - I gave a proof of that.
$endgroup$
– David C. Ullrich
Jan 7 at 18:22
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.
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%2f3064695%2fconstruct-an-analytic-function-with-zeros-at-intersection-of-zeros-of-other-anal%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
2
$begingroup$
If you are asking for a simple formula for $h$ I doubt if such a thing exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 6:07
$begingroup$
For polynomials it's just the greatest common denominator. For general analytic functions I have no idea.
$endgroup$
– Arthur
Jan 7 at 6:41
$begingroup$
@KaviRamaMurthy such $h$ does exists. If we assume that $f$ and $g$ are not identically zero, then by isolated zeros, we know that there are finitely many zeros. Let $z_1,ldots,z_n$ be all the values such that $f(z_i)$ and $g(z_i)$ are zero. Let $h(z) = prod_{i}(z-z_i)$. But yes, I don't see how to easily compute for $h$.
$endgroup$
– Jaeyoon Kim
Jan 7 at 7:29
$begingroup$
@JaeyoonKim Surely, $h$ exists with the desired property. But you appear to seek a simple formula for $h$ and I suspect that no such formula exists.
$endgroup$
– Kavi Rama Murthy
Jan 7 at 7:37
$begingroup$
If the zeros are simple you may try to find $u,v$ analytic such that $w(z)=frac{f'(z)}{f(z)}+e^{u(z)} frac{g'(z)}{g(z)}+v(z)$ has no zeros, so $f(z)g(z)w(z)$ is what you want. Asking if $u,v$ always exist is an interesting problem.
$endgroup$
– reuns
Jan 7 at 8:08