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

27
votes
1answer
1k 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 ...
19
votes
2answers
668 views

Function $f(x)=\int_0^\infty\left|\sin(t)\cdot\sin(x\,t)\cdot e^{-t}\right|\,dt$

Let $$f(x)=\int_0^\infty\Big|\sin(t)\cdot\sin(x\,t)\cdot e^{-t}\Big|\,dt,$$ where $|\dots|$ denotes the absolute value. We are concerned only with positive values of $x$ (i.e. let the domain of the ...
16
votes
3answers
583 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 ...
14
votes
3answers
513 views

Can a function “grow too fast” to be real analytic?

Does there exist a continuous function $\: f : \mathbf{R} \to \mathbf{R} \:$ such that for all real analytic functions $\: g : \mathbf{R} \to \mathbf{R} \:$, for all real numbers $x$, there exists ...
14
votes
1answer
601 views

Hilbert's 19th problem: Why do we care?

Hilbert's 19th problem asks: Are the solutions of regular problems in the calculus of variations always necessarily analytic? This was proven to be true (through the work of Sergei Bernstein, ...
12
votes
2answers
426 views

Holomorphic function on the unit disk $f$, show the set $z,w\in \mathbb{C}$ such that $f(z)=f(w)$ is not countable

Here is the problem statement: Suppose $f$ is a holomorphic function on the unit disk. Show that the set $A=\lbrace (z,w) \in \mathbb{C}^2\;|\; |z|,|w| \leq \frac{1}{2}, z\neq w, f(z)=f(w)\rbrace$ is ...
10
votes
1answer
132 views

Analytic function $f$ in $\overline{\mathbb{D}}$ satisfying $\left\lvert\,f'(\tfrac{1}{2})\,\right \rvert\leq 8.$

Let $f$ be an analytic function on the closed unit disk $\overline{\mathbb{D}}$. On its boundary $\partial \mathbb{D}$ it holds that $\lvert\,f(z) -z\rvert < \lvert z\rvert$. I now have to show ...
10
votes
2answers
159 views

Existence and uniqueness of a function generalizing a finite sum of powers of logarithms

I hope to find a proof of the following conjecture: $(1)$ For every $a>0$ there is a convex analytic function $f_a:\mathbb R^+\to\mathbb R$ such that: $f(1)=0$ and $\forall x>1,\ ...
10
votes
1answer
322 views

Images of compact subsets in the plane

Let $K$ be an infinite compact subset of $\mathbb{C}$. Is it true that there exists a sequence $(f_n)_{n>0}$ of functions holomorphic in some neighborhood of $K$, such that the images $f_n(K)$ are ...
10
votes
2answers
138 views

Does $f'$ analytic imply $f$ analytic?

If $f'$ is known to be analytic, does it mean that $f$ is analytic as well? I've tried to expand $f$ and then to replace the tail of it by the expansion of $f'$, yet the factorials don't add up. I ...
9
votes
3answers
996 views

Smooth Pac-Man Curve?

Idle curiosity and a basic understanding of the last example here led me to this polar curve: $$r(\theta) = \exp\left(10\frac{|2\theta|-1-||2\theta|-1|}{|2\theta|}\right)\qquad\theta\in(-\pi,\pi]$$ ...
8
votes
7answers
350 views

If $\,f^{7} $ is holomorphic, then $f$ is also holomorphic. [closed]

I need some help with this problem: Let $ \Omega $ be a complex domain, i.e., a connected and open non-empty subset of $ \mathbb{C} $. If $ f: \Omega \to \mathbb{C} $ is a continuous function and ...
8
votes
4answers
2k 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 ...
8
votes
4answers
222 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 ...
8
votes
6answers
1k 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 ...
8
votes
1answer
174 views

Proving that a function is analytic

I'm struggling with the following problem: Problem: Suppose that $h$ is a continuous function on a simple closed curve $\gamma$. Define $$ H(w) = \oint_{\gamma} \frac{h(z)}{z - w} \, dz. $$ Show ...
8
votes
1answer
162 views

Showing that $|f^{(n)}| \le n!n^n$ and then making this result sharper

Ahlfors: Show that the successive derivatives of an analytic function at a point can never satisfy $|f^{(n)}(z)| > n!n^n$. Formulate a sharper theorem of the same kind. Attempt for Part ...
8
votes
1answer
128 views

$\forall x \,\exists k$ s.t. $f^{(k)}(x)=0$, then $f$ is a polynomial

My friend sent me the following problem: Suppose that $f$ is real analytic on $(a,b)$, and that for all $x$ in $(a,b)$ there exists a non-negative integer $k$ such that $f^{(k)}(x)=0$. Show ...
7
votes
2answers
916 views

True/False Questions for Complex Analysis

I am studying for my (introductory) complex analysis final exam tomorrow. I am practicing an old final exam, which unfortunately has no answer key. Here is a link: ...
7
votes
1answer
105 views

Does there necessarily exist such a holomorphic function?

This is an old qual problem I'm working on: Let $f:[0,1]\rightarrow \mathbb{R}$ be a $C^{\infty}$ function. Does there necessarily exist a holomorphic function $g: \mathbb{C}\setminus\{0\}\rightarrow ...
7
votes
0answers
111 views

Inverse of a differentiable function equal to its derivative then f is analytic

I've found a nice problem concerning analytic functions. Here it is: Let $f: (0, \infty) \rightarrow \mathbb{R}$ be a function differentiable on $(0, \infty)$ and such that $f^{-1} = f'$. Prove that ...
6
votes
5answers
1k views

Polynomial $p(x) = 0$ for all $x$ implies coefficients of polynomial are zero

I am curious why the following is true. The text I am reading is "An Introduction to Numerical Analysis" by Atkinson, 2nd edition, page 133, line 4. $p(x)$ is a polynomial of the form: $$ p(x) = ...
6
votes
3answers
1k views

Explanation of Maclaurin Series of $x^\pi$

I am reviewing Calc $2$ material and I came across a problem which asked me to explain why $x^\pi$ does not have a Taylor Series expansion around $x=0$. To me it seems that it would have an expansion ...
6
votes
2answers
149 views

Determine the complex function $f\left ( z \right )$

The details provided are that the function is analytic and that its real part along the line $y=c x$ is constant. What conclusions can I draw from here? I think that this imposes $\frac{\partial ...
6
votes
3answers
570 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 ...
6
votes
2answers
470 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: ...
6
votes
1answer
170 views

Conjecture on zeros of analytic function

I have a conjecture that I can´t prove nor disprove, any help on doing so will be very grateful. Let $f: \{z: |z|<2\} \to \mathbb C$ be a non constant analytic function such that if $|z|=1$ ...
6
votes
4answers
849 views

what is the relation of smooth compact supported funtions and real analytic function?

What is the major difference between real analytic and test function (smooth compact supported functions). Can we find a real analytic function $f$ on $R^n$ which is also smooth compact supported? If ...
6
votes
1answer
451 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 ...
6
votes
1answer
140 views

A real analytic function that takes each value in $\mathbb{R}$ three times

I was inspired by this question: it is quite easy to prove that for any positive odd number $2m+1$ there exists a function $f\in C^{\infty}(\mathbb{R})$ such that ...
6
votes
2answers
103 views

Fundamental solution to the Poisson equation by Fourier transform

The fundamental solution (or Green function) for the Laplace operator in $d$ space dimensions $$\Delta u(x)=\delta(x),$$ where $\Delta \equiv \sum_{i=1}^d \partial^2_i$, is given by $$ ...
6
votes
1answer
87 views

Can we characterize the space of functions which is real analytic but not real entire?

A complex valued function $F,$ defined on an open set $E$ in the plane $\mathbb R^{2}$, is said to be real-analytic in $E$ if to every point $(s_{0}, t_{0})$ in there corresponds an expansion with ...
6
votes
1answer
442 views

How to imagine zeros of an analytic function of several variables

Let $f(z_1,\cdots, z_n)$ be a holomorphic function of several variables in an open subset of $\mathcal C^n$. Let $Z(f)=\{ (z_1,\cdots, z_n) \: | \: f=0\}$ be the zero set of $f$. If $n=1$, the zeros ...
6
votes
1answer
490 views

Extended Proof of the Theorem that a bounded analytic function is constant.

I am having trouble feeling convinced by my proof and more importantly - feeling confident in my working out. The question reads (a) Let $f$ be an entire function such that there exist real ...
6
votes
1answer
647 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 ...
6
votes
1answer
167 views

If all the roots of a polynomial P(z) have negative real parts, prove that all the roots of P'(z) also have negative real parts

If all the roots of a polynomial $P(z)$ have negative real parts, prove that all the roots of the derivative $P'(z)$ also have negative real parts. Could anyone provide a proof for this please?
6
votes
0answers
136 views

Why are numeric methods the only technique available to solving $\ln(x) = \sin(x)$? Is this $x$ transcendental?

I just read this question about finding the solution to the equation $\ln(x) = \sin(x)$. All the answers focus on using a numerical method to approximate the solution. This is interesting in its own ...
6
votes
0answers
56 views

Reference for the fact that a smooth function analytic on every line is itself analytic

Let $f \in \mathcal C^\infty(\mathbb R^p)$ ($p \geq 2$) be a smooth function such that the functions $g_d(t) := f(td)$ are all analytic for all $t \in \mathbb R$ and all $d \in \mathbb R^p.$ (i.e. $f$ ...
6
votes
1answer
68 views

Radius of convergence continuous?

Let $ f: [0,1] \rightarrow \mathbb{R} $ be analytic. Let $ r_f(x) $ be the radius of convergence of $ f $ at $ x $. Is $ r_x(f) $ continuous? Alternatively, is there an $ r_{min} $ I can choose so ...
5
votes
2answers
110 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$, ...
5
votes
2answers
121 views

Is this a Morera´s Theorem Application?

Let $G \subset \mathbb C$ be a domain and $f: G \to \mathbb C$ a continuous function such that for any closed and rectifiable path $\gamma \subset G$, $$ \left| \oint_\gamma f(z)dz \right|\leq \left( ...
5
votes
2answers
714 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?
5
votes
3answers
1k views

The distinction between infinitely differentiable function and real analytic function

I have known that all the real analytic functions are infinitely differentiable. On the other hand, I know that there exists a function that is infinitely differentiable but not real analytic. For ...
5
votes
2answers
760 views

Do all analytic and $2\pi$ periodic functions have a finite Fourier series?

Consider a function $f:\mathbb{R}\to\mathbb{R}$ which is periodic with period $2\pi$. Let us impose the condition that $f$ is analytic. Now does that imply that $f$ has a finite Fourier series? PS : ...
5
votes
1answer
156 views

Laurent series, integral over the annulus, radii

We are given $$f = \sum_{n= - \infty} ^{\infty} a_n (z-z_0)^n \in \mathcal{O} ( \text{ann} (z_0, r, R)), \ \ 0<r<R< \infty. $$ Prove that $$\frac{1}{\pi} \int _{ann (z_0, r, R)} |f(z)|^2 d ...
5
votes
1answer
290 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}.$$ ...
5
votes
4answers
861 views

Define a branch of $(z^2 − 1)^{1/2}$ which is analytic in the unit disk.

Hint: $z^2 − 1 = (z + 1)(z − 1)$. I'm really struggling with this question. I understand that for this function to be analytic it has to be differentiable in some neighbourhood, but I have no idea ...
5
votes
2answers
443 views

Using Montel's Theorem to show locally uniform convergence of analytic functions

Let $f_n :U \to \mathbb{C}$ be a sequence of analytic functions, where $U$ is open and connected. Suppose there exists a point $z_0 \in U$ such that for all $k \geq 0$ the sequence $f_n^{(k)}(z_0)$ ...
5
votes
1answer
254 views

(solution verification) the series $\sum z^{n!}$ has the unit circle as a natural boundary

I've tried to solve the following problem from Ahlfors' complex analysis text: If a function element $(f,\Omega)$ has no direct analytic continuations other than the ones obtained by restricting ...
5
votes
1answer
88 views

Identity Principle type question: Prove that $f=g$

While reading a complex analysis textbook the following assertion came up Since $f,g:D\equiv D(a,r) \to \mathbb{C}$ are analytic and injective functions such that $f(D)=g(D)$, $f(a)=g(a)$ and ...