Why $overline{z}$ is not differentiable?
$begingroup$
- By definition the derivative of $overline{z}$ is:
begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}
How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?
- Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis
complex-analysis
$endgroup$
add a comment |
$begingroup$
- By definition the derivative of $overline{z}$ is:
begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}
How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?
- Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis
complex-analysis
$endgroup$
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20
add a comment |
$begingroup$
- By definition the derivative of $overline{z}$ is:
begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}
How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?
- Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis
complex-analysis
$endgroup$
- By definition the derivative of $overline{z}$ is:
begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}
How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?
- Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis
complex-analysis
complex-analysis
edited Jun 7 '17 at 9:31
lioness99a
3,7492727
3,7492727
asked Jun 7 '17 at 9:09
gboxgbox
5,40562260
5,40562260
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20
add a comment |
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.
$endgroup$
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
add a comment |
$begingroup$
This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:
Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.
Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.
This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.
$endgroup$
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
add a comment |
$begingroup$
You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.
$endgroup$
add a comment |
$begingroup$
Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
$$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.
Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.
$endgroup$
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%2f2313244%2fwhy-overlinez-is-not-differentiable%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.
$endgroup$
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
add a comment |
$begingroup$
Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.
$endgroup$
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
add a comment |
$begingroup$
Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.
$endgroup$
Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.
answered Jun 7 '17 at 9:30
ArthurArthur
114k7115197
114k7115197
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
add a comment |
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
$endgroup$
– gbox
Jun 7 '17 at 9:35
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
$endgroup$
– M. Winter
Jun 7 '17 at 9:42
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
@gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
$endgroup$
– Arthur
Jun 7 '17 at 10:16
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
$begingroup$
very very useful comment.
$endgroup$
– Newbie
Oct 14 '17 at 18:24
add a comment |
$begingroup$
This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:
Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.
Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.
This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.
$endgroup$
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
add a comment |
$begingroup$
This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:
Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.
Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.
This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.
$endgroup$
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
add a comment |
$begingroup$
This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:
Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.
Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.
This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.
$endgroup$
This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:
Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.
Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.
This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.
edited Dec 12 '18 at 7:40
answered Jun 7 '17 at 9:25
M. WinterM. Winter
18.9k72766
18.9k72766
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
add a comment |
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
$begingroup$
How does this theorem called?
$endgroup$
– gbox
Jun 7 '17 at 9:30
1
1
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
$begingroup$
@gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
$endgroup$
– M. Winter
Jun 7 '17 at 9:32
add a comment |
$begingroup$
You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.
$endgroup$
add a comment |
$begingroup$
You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.
$endgroup$
add a comment |
$begingroup$
You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.
$endgroup$
You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.
answered Jun 7 '17 at 9:25
RichardRichard
19310
19310
add a comment |
add a comment |
$begingroup$
Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
$$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.
Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.
$endgroup$
add a comment |
$begingroup$
Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
$$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.
Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.
$endgroup$
add a comment |
$begingroup$
Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
$$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.
Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.
$endgroup$
Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
$$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.
Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.
answered Jun 7 '17 at 9:31
florenceflorence
11.5k12045
11.5k12045
add a comment |
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%2f2313244%2fwhy-overlinez-is-not-differentiable%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
$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20