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 ...

learn more… | top users | synonyms

2
votes
3answers
233 views

Entire function dominated by another entire function is a constant multiple

These two questions I didn't even find the way to solve So please if you can help Suppose $f (z)$ is entire with $|f(z)| \le |\exp(z)|$ for every $z$ I want to prove that $f(z) = k\exp(z)$ for some ...
14
votes
3answers
342 views

What is the Riemann surface of $y=\sqrt{z+z^2+z^4+\cdots +z^{2^n}+\cdots}$?

The following appears as the second-to-last problem of Stewart's Complex Analysis: Describe the Riemann surface of the function $y=\sqrt{z+z^2+z^4+\cdots +z^{2^n}+\cdots}$. This problem ...
3
votes
1answer
284 views

Riemann Zeta Function Manipulation

The Riemann zeta function is defined on the $Re z> 1$ by $$\zeta(z)=\sum_{n=1}^\infty \frac{1}{n^z}$$ (i) show that for $Re z> 1$, we have $$(1-2^{1-z})\zeta(z)=\sum_{n=1}^\infty ...
2
votes
1answer
174 views

Sufficient and necessary conditions to get an infinite fiber $g^{-1}(w)$

I want to verify the proof of this result and get some start ideas to overcome the different steps of this proof. Lemma: Let $g$ be a real analytic function. Then we have the equivalence ...
21
votes
1answer
464 views

Is it possible for a function to be smooth everywhere, analytic nowhere, yet Taylor series at any point converges in a nonzero radius?

It is well-known that the function $$f(x) = \begin{cases} e^{-1/x^2}, \mbox{if } x \ne 0 \\ 0, \mbox{if } x = 0\end{cases}$$ is smooth everywhere, yet not analytic at $x = 0$. In particular, its ...
8
votes
4answers
212 views

Real-analytic $f(z)=f(\sqrt z) + f(-\sqrt z)$?

Are there nonconstant real-analytic functions $f(z)$ such that $$ f(z)=f(\sqrt z) + f(-\sqrt z)$$ is satisfied near the real line ? Also can such functions be entire ? And/Or can they be periodic ...
6
votes
3answers
386 views

Expressing the area of the image of a holomorphic function by the coefficients of its expansion

I have the following problem. Let $f:D\to \mathbb C$ be a holomorphic function, where $D=\{z:|z|\leq 1\}.$ Let $$f(z)=\sum_{n=0}^\infty c_nz^n.$$ Let $l_2(A)$ denote the Lebesgue measure of a set ...
4
votes
0answers
260 views

Show that the iterated $\ln^{[n]}$ of tetration(x,n) is nowhere analytic

$$f(x) = \lim_{n\to \infty} \ln^{[n]} x \uparrow\uparrow n$$ The conjecture is that $f(x)$ is monotonic and infinitely differentiable at the real axis, but nowhere analytic; because at each point on ...
1
vote
2answers
304 views

Removable singularity and laurent series

How to show $z=\pm\pi$ is a removable singularity for $\frac1{\sin z}+\frac{2z}{z^2-\pi^2}$? I tried to compute the Laurent series, specifically the coefficients for $1/z,1/z^2,...$ since if we can ...
6
votes
1answer
347 views

Liouville's theorem problem

Hi i need some hints and help with this problem. Let $f\in\mathcal O(\mathbb C)$ and assume that $\Re f(z)\geq M$ for all $z\in\mathbb C$. Use Liouville´s theorem to prove that $f$ is constant ...
4
votes
3answers
939 views

Find a branch of $f(z)= \log(z^3-2)$ that is analytic at $z=0$.

Find a branch of $f(z)=\log(z^3-2)$ that is analytic at $z=0$. Can anyone help me on this question? I have no idea how to find a branch. The definition of branch given in lecture is $F$ is a branch ...
7
votes
4answers
1k views

How many smooth functions are non-analytic?

We know from example that not all smooth (infinitely differentiable) functions are analytic (equal to their Taylor expansion at all points). However, the examples on the linked page seem rather ...
3
votes
2answers
107 views

If it converges, how to show that power series converges to $f(x)$?

I had a very basic question. Suppose $f(x)$ is a function. And let us say it has a power series :- $$f(x) = \sum_{n=0}^\infty a_nx^n.$$ Suppose we are operating inside the region of convergence. ...
2
votes
2answers
180 views

proving the function $\frac{1}{1+x^2}$ is analytic

I have a question, how can we prove that a function, here specificaly the function $\frac{1}{1+x^2}$ is analytic? I know we must show that for any $x_0$ in $\mathbb R$, the series ...
4
votes
3answers
463 views

Where is $\log(z+z^{-1} -2)$ analytic?

I need some help in determining where $\log(z+z^{-1} -2)$ is analytic, where $z$ is a complex number and $\log(z)=\ln|z|+\arg(z+2k\pi),k\in\mathbb{Z}$. Thank you in advanced.
2
votes
1answer
306 views

Show that some $C^\infty$ real function is analytic

Consider the function $f:(a,b) \rightarrow \Bbb R $, which is $C^\infty$ class. It is required to show that if the function $f$ satisfies: $\forall_{n\in\Bbb N_+} \forall_{x\in(a,b)} f^{(n)}(x) \ge 0 ...
4
votes
1answer
348 views

Is the inverse of a real analytic function still analytic?

If $f:D\to D'$, with $D, D'$ open subsets of $\mathbb{C}$, is a complex analytic invertible function with non-zero derviative, it's easy to see that $f^{-1}:D'\to D$ is analytic too. Indeed complex ...
4
votes
1answer
162 views

Entire function invariant on the coordinate axes (as sets).

From old qualifying exam: Let $E$ be the union of the two coordinate axes, i.e. $E = \{z=x+iy : xy=0\}$. Describe all entire functions satisfying $f(E) \subset E$. I feel like the best approach is to ...
4
votes
1answer
167 views

Is there a $p$-adic version of Liouville theorem?

That is, if a function $f$ is analytic and bounded in all $K$, a $p$-adic field (or more generally a complete non-archimedean field), has to be constant? And does the theorem work for functions on ...
3
votes
2answers
461 views

Extending to a holomorphic function

Let $Z\subseteq \mathbb{C}\setminus \overline{\mathbb{D}}$ be countable and discrete (here $\mathbb{D}$ stands for the unit disc). Consider a function $f\colon \mathbb{D}\cup Z\to \mathbb{C}$ such ...
2
votes
1answer
72 views

What is the notation for taking negative imaginary values for roots of negative numbers?

I have a formula which is analytic in its argument $x$. In it, there is a square root of a variable as in $\sqrt{x}$. Although meaningful results are obtained when positive roots are taken for for ...
2
votes
1answer
271 views

Bounded imaginary part implies removable singularity at 0

Let $f$ be a holomorphic function on the punctured unit disk. If the imaginary part of $f$ is bounded, is it true that $f$ has a removable singularity at 0? I see that $|e^{-if}|=e^{Im\;f}$ so ...
1
vote
1answer
44 views

Riemann removable singularity theorem for annuli

Let $\mathbb{D}^*=\{z \in \mathbb{C} \ | \ 0 < |z| < 1 \}$ denote the unit punctured disk in the complex plane. Riemann's theorem about removable singularities in particular implies the ...
1
vote
1answer
76 views

Specifying a holomorphic function by a sequence of values

Given a sequence $(z_n, w_n)$ of pairs of complex numbers such that $|z_n| \to \infty$ as $n \to \infty$, there exists a holomorphic function $f$ such that $f(z_n) = w_n$ for all $n$. Proof: By the ...
1
vote
1answer
67 views

Continuous dependence of zeros on a parameter

Let $F:I\times J\to\mathbb{R}$ be a $C^k$ (or analytic) function, with $I,J$ real open intervals. Set $f_\lambda(x):=F(\lambda,x)$ and consider the parametric equation $$f_\lambda(x)=0\,.$$ Assume its ...
1
vote
0answers
64 views

Calculating germs for complete holomorphic function

I'm trying to find the germs $[z,f]$ for the complete holomorphic function $\sqrt{1+\sqrt{z}}$ . The question indicates that I should find 2 germs for z = 1, but I seem to be able to find 3! Where ...
0
votes
0answers
34 views

Maximum modulus principle, is it true?

Suppose f is analytic in an open set containing the open disk D(2+3i, 7) and its boundary circle C(2+3i, 7) such that |f(z) + 7i + 24|<25 for all z in C(2+3i,7). Then f has no zeroes inside D(2+3i, ...