Find f(z) given f(x, y) = u(x, y) + iv(x,y)

Click For Summary

Discussion Overview

The discussion revolves around the methods for finding the complex function \( f(z) \) given the real part \( u(x, y) \) and the need to determine the imaginary part \( v(x, y) \). Participants explore the validity of setting \( y = 0 \) in the context of analytic functions and compare two different methods for deriving \( f(z) \).

Discussion Character

  • Debate/contested
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant presents \( u = e^{-x} (x \sin y - y \cos y) \) and claims that \( v \) can be found using Cauchy-Riemann equations, leading to \( f(z) = ize^{-z} \) when \( y = 0 \) is substituted.
  • Another participant questions the validity of setting \( y = 0 \), providing a counterexample where this approach does not yield the correct function.
  • Some participants argue that the second method, which involves substituting \( x \) and \( y \) with expressions in terms of \( z \) and \( \overline{z} \), is valid and always works, contrasting it with the first method.
  • There is a discussion about the implications of analytic functions, with some participants noting that if two analytic functions are equal on the real line, they must be identical everywhere.
  • Several participants express confusion about the equivalence of the two methods and the reasoning behind setting \( y = 0 \) or \( z = \overline{z} \).
  • One participant acknowledges the restrictive nature of analytic conditions and reflects on their understanding of complex analysis.
  • Some participants seek study materials to better understand the topic.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the validity of setting \( y = 0 \) or the equivalence of the two methods. There are competing views regarding the appropriateness of the approaches discussed.

Contextual Notes

The discussion highlights the complexities involved in working with analytic functions and the assumptions that underlie different methods of substitution. There is an acknowledgment of the need for careful consideration of conditions when applying these methods.

Who May Find This Useful

Readers interested in complex analysis, particularly those studying the properties of analytic functions and methods for deriving complex functions from real components.

PLAGUE
Messages
37
Reaction score
2
TL;DR
Why we replace y with 0 and why this is equivalent to replacing x with (z + z')/2 and y with (z - z')/2i?
I am given, $$u = e^{-x} (x sin y - y cos y)$$ and asked to find v such that, $$f(z) = u + iv$$. My book solves these problems and the answer is, $$v = e^{-x} (ysiny + x cos y) + c$$. I understand how it is done, using Cauchy-Riemann equations.

Then, the book asks to find f(z). When doing that, it says, $$f(z) = f(x+iy) = u(x, y) + iv(x, y)$$
Putting y = 0, $$f(x) = u(x, 0) + iv(x, 0)$$
Replacing x by z, $$f(z) = u(z, 0) + iv(z, 0)$$
The answer: $$f(z) = ize^{-z}$$

Why is replacing y with 0 is valid here?

The book solves this method in another method. It replaces x with $$\frac{z + \overline z}{2}$$ and y with $$\frac{z - \overline z}{2i}$$. Then, it simplifies and the answer is still the same, $$i z e^{-z}$$.

Why is this method equivalent to the previous one?
N.B. I know that you get the real part of z by $$\frac{z + \overline z}{2}$$ and the imaginary part by $$\frac{z - \overline z}{2i}.$$

I am giving the full answer here. They are taken from
by Murray SPIEGEL (Author)

Screenshot 2025-07-30 125121.webp
Screenshot 2025-07-30 125211.webp
 
Last edited:
Physics news on Phys.org
I don't see how it's valid to set ##y = 0##. For example, it doesn't work here:
$$f(z) = x + 2iy \ \implies \ f(x) = x \ \implies \ f(z) = z$$The second method is valid, because that's just a regular substitution of ##x, y## by equivalent complex expressions involving ##z##. E.g:
$$f(z) = x + 2iy \ \implies \ f(z) = \frac{z + \bar z}{2} + z - \bar z = \frac 3 2 z - \frac 1 2 \bar z = x + 2iy$$And that will always work.
 
PeroK said:
I don't see how it's valid to set ##y = 0##. For example, it doesn't work here:
$$f(z) = x + 2iy \ \implies \ f(x) = x \ \implies \ f(z) = z$$The second method is valid, because that's just a regular substitution of ##x, y## by equivalent complex expressions involving ##z##. E.g:
$$f(z) = x + 2iy \ \implies \ f(z) = \frac{z + \bar z}{2} + z - \bar z = \frac 3 2 z - \frac 1 2 \bar z = x + 2iy$$And that will always work.
Perhaps I am missing something. I am giving the full answer here. They are taken from

Schaum's Outline of Complex Variables, 2ed: Second Edition (Schaum's Outlines)​

by Murray SPIEGEL (Author)
Screenshot 2025-07-30 125121.webp
Screenshot 2025-07-30 125211.webp
 
PLAGUE said:
Perhaps I am missing something. I am giving the full answer here. They are taken from

Schaum's Outline of Complex Variables, 2ed: Second Edition (Schaum's Outlines)​

by Murray SPIEGEL (Author)View attachment 363833View attachment 363834
These are analytic functions. That explains it.
 
Last edited:
  • Like
Likes   Reactions: FactChecker
PeroK said:
The book is wrong. Method 1 is, in general, nonsense.
I was said that setting y equal to 0 is equivalent to setting ##z=\overline z## as done here. (see the lower half of the page) But it also doesn't make sense to me why you would set ##z = \overline z##
 
PLAGUE said:
I was said that setting y equal to 0 is equivalent to setting ##z=\overline z## as done here. (see the lower half of the page) But it also doesn't make sense to me why you would set ##z = \overline z##
Okay, I see now that you are dealing with analytic functions. Wherever ##x## appears, it always appears with ##+iy##. The function has the same format in ##x## as it does in ##z##. So, if you find ##f(x,0)##, then you know ##f(z)## must look just the same.

Sorry, I hadn't looked at complex analysis in a while. I forgot how restrictive the analytic condition is.
 
PeroK said:
Okay, I see now that you are dealing with analytic functions. Wherever ##x## appears, it always appears with ##+iy##. The function has the same format in ##x## as it does in ##z##. So, if you find ##f(x,0)##, then you know ##f(z)## must look just the same.

Sorry, I hadn't looked at complex analysis in a while. I forgot how restrictive the analytic condition is.
Can you suggest some study materials?
 
PLAGUE said:
Can you suggest some study materials?
Sorry, I haven't studied complex analysis properly since 1983!
 
PLAGUE said:
TL;DR Summary: Why we replace y with 0 and why this is equivalent to replacing x with (z + z')/2 and y with (z - z')/2i?

I am given, $$u = e^{-x} (x sin y - y cos y)$$ and asked to find v such that, $$f(z) = u + iv$$
is analytic. Don't leave that part out. It is critical.
PLAGUE said:
My book solves these problems and the answer is, $$v = e^{-x} (ysiny + x cos y) + c$$. I understand how it is done, using Cauchy-Riemann equations.

Then, the book asks to find f(z). When doing that, it says, $$f(z) = f(x+iy) = u(x, y) + iv(x, y)$$
Putting y = 0, $$f(x) = u(x, 0) + iv(x, 0)$$
Replacing x by z, $$f(z) = u(z, 0) + iv(z, 0)$$
The answer: $$f(z) = ize^{-z}$$

Why is replacing y with 0 is valid here?
Two analytic functions that are equal on the real line must be identical. So we only need to show that $$f(z) = ize^{-z}$$ on the real line.
PLAGUE said:
The book solves this method in another method. It replaces x with $$\frac{z + \overline z}{2}$$ and y with $$\frac{z - \overline z}{2i}$$. Then, it simplifies and the answer is still the same, $$i z e^{-z}$$.

Why is this method equivalent to the previous one?
Without seeing the details, it is hard to say. Maybe it ends up with the same answer but uses different facts about analytic functions. I wouldn't call that an "equivalent" method.
PLAGUE said:
N.B. I know that you get the real part of z by $$\frac{z + \overline z}{2}$$ and the imaginary part by $$\frac{z - \overline z}{2i}.$$

I am giving the full answer here. They are taken from
by Murray SPIEGEL (Author)
This link just takes me to the main amazon page. Maybe my browser (Firefox) is not working right.

1753883143307.webp

This doesn't say enough to answer your question. You would have to go through the "tedious labor" to know the answer.
 
  • Like
Likes   Reactions: PeroK

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K