# Tagged Questions

A function is analytic if it has a converging power series expansion. Please also use one of (real-analysis) or (complex-analysis) to specify real or complex analyticity: though the definition is the same, the properties of functions analytic over real numbers is quite different from the properties ...

100 views

### Characterization of analytic functions

First, see this link on the alternative characterizations of analytic functions. I want to prove a version of 3) for complex-analytic functions. In particular: If $f$ is a complex-analytic function ...
136 views

51 views

### Analytic continuation of a certain Dirichlet series

Is there an elementary way to analytically continue $$f(s)=\sum_{n=1}^\infty \frac{(-1)^n}{(2n+1)^s}$$ to the entire complex plane? It is not hard to see (by grouping terms in pairs and using the ...
34 views

### How to prove that a Banach space of analytic functions containing $H^\infty$ except the origin is simply connected?

If $X$ is a Banach space of analytic functions on the unit disk $D$ which contains the space of analytic bounded functions on $D$, how can I prove that $X\setminus\{0\}$ is simply connected?
177 views

### Why is this map a Möbius transformation?

Question: Let $D_2=\bar D(2,1)$ and $D_{-2}=\bar D(-2,1)$ be the closed disks of radius $1$ centered at $z=2$ and $z=-2$ in the complex plane, respectively. Set $X= \mathbb C-\{D_2 \cup D_{-2} \}$, ...
126 views

72 views

### Series $1$, $1$, $\frac12$, $\frac12$, $\frac13$, $\frac13$, etc.

Is there any way to define an analytical function in a region that's contained by 0 and 1 that will correspond with the following series: $1$, $1$, $\frac12$, $\frac12$, $\frac13$, $\frac13$, ...
29 views

### How to apply Cauchy-Kowalevsky Theorem.

The Cauchy-Kowalevsky theorem is stated in my notes as: For the Cauchy problem: $$\begin{cases} u_{y}=F(x,y,u,u_{x}) \\ u(x,0)=h(x) \end{cases}$$ If $h$ is analytic in a neighborhood of ...
82 views

### Show that f must be constant on C

This is a problem that I have been encountered after reading about analytic functions in complex analysis. Suppose $f(z) = f(x + iy)$ is analytic on $\mathbb{C}$. Let $u= \Re ~f$ and $v = \Im ~f$. ...
157 views

### On applying Whitney's extension theorem to suitable closed sets

Whitney's extension theorem states that if $D \subset \mathbb{R}^n$ is closed and $f: D \to \mathbb{R}$ is $C^k$ in some sense to be specified below, then $f$ can be extended to $\mathbb{R}^n$ so that ...
59 views

### Not able to understand a paragraph in John Conway's Complex analysis book.

On page 97 under the heading "Counting zeroes; the open mapping theorem" there is a second paragraph which goes like this: In section 3 it was shown that if an analytic function $f$ had a zero ...
58 views

### Prove that $\,\displaystyle f(z) = \sum_{n\ge1}\frac{z^n}{n^2}$ is univalent in the disk $\,D\big(\frac23\big)$

I'm having some difficulty with this question: Prove that the function $\,\,\displaystyle f(z) = \sum_{n=1}^\infty\frac{z^n}{n^2}\,$ is univalent in the disk $D\big(\frac23\big)$. There is the ...
78 views

### smooth vs. analytic in the definition of almost-complex manifolds

Let $A_{\infty}\hspace{-0.03 in}$ be a maximal $C^{\infty}\hspace{-0.02 in}$ atlas on $M\hspace{-0.03 in}$, and with that smooth structure on $M$, suppose $\: j : TM\to TM\:$ is a smooth function ...
75 views

### Let $f$ be an entire function $\mathbb C$, and $g(z) = \overline { f(\overline z)}$. Which of the following statements are valid? [duplicate]

Let $f$ be an entire function, $\mathbb{C}$, and $g(z) = \overline{f(\overline{z})}$. Which of the following statements are valid? Let $f(z) \in \mathbb{R}, \forall z \in \mathbb{R}$, then $f = g$. ...
82 views

### Measure of inverse image of points by an analytic mapping

How can one prove the following statement: For any analytic mapping from a connected analytic manifold $M$ to an analytic manifold $N$, the inverse image of a point in $N$ is either the whole of $M$ ...
104 views

### Schwarz Reflection Principle for the four quadrants in the plane and for two intersecting circles,

I'm looking at an old exam problem that shows a picture of what the function f does to the plane. On the upper right quadrant, there is a + sign, which indicates that f maps this quadrant one-to-one ...
59 views

### Understanding the Schwarz Reflection Principle,

The way I understand the principle is that we look at F, piecewise-defined as: F= $$z \mapsto f(z), \ z \in \Omega^+$$ $$z \mapsto \overline{f(\bar z)}, \ z \in \Omega^-$$ Here $\Omega^+$ and ...
57 views

### Show that the solution of this differential equation is analytic

Let $\alpha,\beta,a,b$ be real constants. Show that the differential equation given by: $y''= ay' + by \\ y(0)=\alpha\\ y'(0)=\beta$ has an unique solution and this solution is analytic in ...
134 views

### Analytic continuation of ln(z) counterclockwise about the unit circle,

We write ln(z) as ln(1+z-1) = ln(1+(z-1)) to utilize the familiar expansion that is: (z-1) - (z-1)^2 / 2 + ... which converges for |z-1| < 1, i.e., we get convergence of ln(z) in an open Taylor ...
32 views

24 views

### About smooth function whose reciprocal is also smooth

I know that for exponential functions $e^{at}$, or functions like $1/t^m$, t>0, both they and their reciprocals are smooth. Could you please give me more classes of smooth functions, or Analytic class ...
58 views

### How to find some $C^\infty$ functions that do not satisfy the uniqueness theorem for analytic functions

The uniqueness theorem for analytic functions states that suppose two series $\sum_{n=0}^\infty s_nx^n$ and$\sum_{n=0}^\infty t_nx^n$ converges in the interval $(-R,R)$. If the set of $x$ that ...
76 views

### $f=u+iv$ holomorphic, $xu+yv = (x^2+y^2)e^x \cos y$, what is $f$?

$f(z)=u(x,y)+iv(x,y)$ holomorphic, $xu+yv = (x^2+y^2)e^x \cos y$, what is $f$? I tried to interprete $xu+yv$ as some part of a new function, for example, as the real part of $\overline{z}f$，but this ...
117 views

### Prove that there is no function $f$ that is analytic. [duplicate]

Prove that there is no function $f$ that is analytic in $\mathbb{C}\setminus\{0\}$ and satisfies $$|f(z)|\geq\frac{1}{\sqrt{|z|}},\quad \operatorname{for all}\quad z\in\mathbb{C}\setminus\{0\}$$ I am ...
53 views

### How to show real analyticity without extending to complex plane

Suppose we have some $f \in C^\infty(\mathbb{R},\mathbb{R}).$ For example, $$f(x)=(1+x^2)^{-1}.$$ Using complex analysis, we can easily show $f$ is real analytic. Is there an easy, general method ...
38 views

### Solving a logarithmic equation with variables on each side

Okay, so while doing a problem for my calculus class I was required to graph two functions in order to see where they intersect, as according to my teacher there is no way to solve it analytically. ...
692 views

### Proving that a doubly-periodic entire function $f$ is constant.

Let $f: \Bbb C \to \Bbb C$ be an entire (analytic on the whole plane) function such that exists $\omega_1,\omega_2 \in \mathbb{S}^1$, linearly independent over $\Bbb R$ such that: ...
58 views

### Entire functions of order 0

Sorry, this may be a stupid question, but I am just beginning to learn about this and cannot find the answer anywhere I have looked so far. Clearly if we have any polynomial $P(z)$, then it is easy to ...
70 views

### An entire function is a polynomial iff the Taylor expansion around $0$ converges uniformly

Let $g:\mathbb{C} \to \mathbb{C}$ an entire function. Prove that the Taylor expansion around $0$ converges uniformly in all $\mathbb{C}$ if and only if $g$ is a polynomial. 1/2 PROOF I think I ...
181 views

### Are the integrals of the following function path independent in the following domain?

Are the integrals of the function: $$f(z)=\frac{1}{z+1}+\frac{1}{(z+1)^2}+e^{\frac{1}{z}}$$ path independent in the following domain: $$D= \{Re z >0\}\setminus\{1\}$$ My thoughts on the ...
39 views

### Find all polynomials such that $P(A)\subset U$ for a countable subset of the unit circle $U$

I recently answered a question, in which I proved that If a polynomial fixes the unit circle then $P$ is a monomial (a classical result),i,e: \forall P\in \Bbb C[X]\ \ \ \ (\forall z\in \Bbb C \ \ ...
124 views

### Bound on the sup norm for derivatives of a particular $C^\infty$ function

I'm reading textbook "A Primer of Real Analytic Functions" and on page 86 the following "obvious" claim is made: Let $|| \cdot ||$ be the sup norm on $[0, 2 \pi]$ and define function $f$ to be ...
### Prove $f$ analytic on $D(z_0;R)\setminus\{z_0\}$ implies $\exists M, f(D(z_0;r)\setminus\{z_0\})\supset\{z\in\mathbb{C}:|z|>M\}$
Suppose $f$ is analytic on $D(z_0;R)\setminus\{z_0\}$, and $z_0$ is a pole of $f$. Prove that for any $r\in(0,R)$, there is $M\in(0,\infty)$ such that ...