0
votes
1answer
33 views

Upper bound for modulus of a function

Let $f(t,x)$ be a bounded and continuous function on $\mathbb{R}_t \times \mathcal{U}$ where $\mathcal{U}$ is an open neighborhood of $0 \in \mathbb{C}_x$. Moreover, assume that for each fixed $t$, ...
14
votes
3answers
302 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 ...
1
vote
1answer
30 views

Analytic Extension: Imaginary Stripe

I was always wondering the following: Given a real analytic function there exists a positive radius of convergence for every point. This won't be affected by allowing complex numbers so it extends ...
8
votes
4answers
211 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 ...
4
votes
1answer
59 views

When is a Fourier series analytic?

By Fourier theory, every continuously differentiable function $f : S^1 \to \mathbf C$ admits a unique, uniformly convergent Fourier expansion $$f(\theta) = \sum_{n\in \mathbf Z} a_n e^{in\theta}.$$ ...
2
votes
1answer
67 views

Convergence Radius => Nonanalytic

Why is a function certainly nonanalytic at some point on the radius of convergence? I mean considering a power series around somewhere and if theres a power series expansion at every point on circle ...
3
votes
2answers
102 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. ...
1
vote
1answer
143 views

Analytic continuation of complex square root

This example comes from the book by Elias Wegert: Visual Complex Functions. Consider the function $f(z):=z^{1/2}$ for $z \in \mathbb{C}$ with $|z - 1| < 1.$ For these $z$, the function can be ...
21
votes
1answer
409 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 ...
2
votes
1answer
54 views

Want to check analyticity of a series on a open disk.

How do we check the analyticity of a any power series? For example: How will we show that $$f(z):= \sum_{n=1}^\infty z^{n!}= z^1+z^2+z^6+z^{24}......+z^{n!}......$$ is anaytic on disk {$z : ...
1
vote
1answer
121 views

Trying to find more information about “Darboux's method/theorem” on coefficients of an analytic function

My supervisor briefly showed me a statement of something she called "Darboux's theorem," but I am having trouble finding more information about it on the internet. Here is what I have written down ...
6
votes
1answer
355 views

Complex differentiable but not analytic on circle of convergence

I'm trying to get a better handle on behavior of complex power series on the boundary of their maximal disk of convergence. I'm reading Bak-Newman's Complex Analysis, Chapter 18.1. A regular point ...
2
votes
2answers
301 views

Analytic functions of a real variable which do not extend to an open complex neighborhood

Do such functions exist? If not, is it appropriate to think of real analytic functions as "slices" of holomorphic functions?
2
votes
1answer
298 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 ...
3
votes
2answers
114 views

Determining whether a family of power series is normal

How should I check whether a given family of power series forms a normal family? I am trying to apply Montel's theorem that says that a family of holomorphic functions is normal iff it is uniformly ...
5
votes
2answers
105 views

$\lim_{x\rightarrow\infty}\frac{f(x)}{e^x}$ for analytic functions

For some analytic function $f(x)=\lim_{n\rightarrow\infty}\sum^n_{r=0}c_rx^r$, ...
1
vote
0answers
47 views

How to show that $f(x,y)$ are real analytical

Given a real function $f(x,y)$ on $R^2$, we know that (from wiki) it is called real analytic if it is locally given by a convergent power series. My question is that whether there has some principle ...
3
votes
1answer
283 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 ...
4
votes
2answers
87 views

Number of times two rescaled, 'fully' monotonic functions can cross

Consider two functions $f: [0,1) \rightarrow \mathbb{R}$ and $g: [0,1) \rightarrow \mathbb{R}$. Suppose $f(x) > g(x)$ for all $x \in [0,1)$. Suppose further that $f$ and $g$ are infinitely ...
6
votes
3answers
375 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 ...
2
votes
1answer
194 views

limit of supremum of a sequence

Can any one help me with this? Let $c$ be a real number. I would like to show that $$ \limsup_{n \to ...
4
votes
1answer
454 views

Analytic functions and Fourier Series

I'm taking my first real analysis course and I'm trying to get a better feel about analytic functions. My understanding is that an analytic function is one which can be written as a power series. My ...
6
votes
4answers
580 views

composition of power series

Does anyone know how to derive a formula for the coefficients. That is if, $f(x)=\sum _{n=0}^{\infty } a_nx^n$ and $g(x)=\sum _{n=0}^{\infty } b_nx^n$ suppose the compostion is an analytic ...