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

0
votes
1answer
38 views

Suppose $f$ is entire and $|f(z)| \leq 1/|Re z|^2$ for all $z$. Show that $f $ is identically $0$.

This is a problem from my complex analysis textbook. The hint is to consider $g(z)=(z-iR)^2(z+iR)^2 f(z)$ and to show that $|g(z)| \leq 8R^2$. This is what i have tried: Consider $Re z \geq 0$, then ...
0
votes
0answers
18 views

Approximating an L2 function by analytic functions

Spose I have a $ h \in L^2(U) $ where $ U \subset \mathbb{R}^3 $ is open and bounded. Is it possible to approximate this by analytic functions? If so, spose now we take $ U = \mathbb{R}^3 $. Is this ...
0
votes
0answers
23 views

Real analytic function in one point and zeros

Let $f:I\to\mathbb{R}$ be a continuous function and $t_0\in I$ such that $f$ is analytic at $t_0$ and $f(t_0)=0$. Is it true that there is an entire neighbourhood of $t_0$ in which $f$ has no other ...
0
votes
1answer
10 views

Extend the domain of a real analytic function

Let $f:(a,b)\to \mathbb{R}$ be a real analytic function on $(a,b)$. Is there a real analytic function $g:(c,d)\to\mathbb{R}$, with $(c,d)\supset (a,b)$, such that: $ g(x)=f(x), \ \forall\ x\in (a,b)? ...
0
votes
1answer
38 views

If $f$ and $f\circ h$ are nonconstant and real-analytic, with $h\in C^\infty$, does it follow that $h$ is also real-analytic?

Let $f,g:I\to\mathbb{R}$ be two real, non-constant, analytic functions on an open interval $I\subset\mathbb{R}$. If there is a smooth function $h:I\to\mathbb{R}$ (i.e. $h\in C^{\infty}(I)$) such that: ...
2
votes
2answers
32 views

CR Equations using Polar Form

I have a question to check whether following function is analytic or not using CR Equations. The question is f(z) = 1/(z-z^5) I just don't know how to start and ...
0
votes
0answers
7 views

Analytic Continuation of Fourier Transform to a Strip in Complex Domain

This is to prove Theorem IX.13 from the Methods of Modern Mathematical Physics (by Reed & Simon). Let $f$ be in $L^2 (\mathbb{R}^n)$. Then $e^{b|x|} f \in L^2(\mathbb{R}^n)$ for all $b<a$, if ...
2
votes
1answer
40 views

Prove function is compex analytic

I want to prove that $f(z) = \frac{z}{e^z-1}$ is analytic around the origin. I tried using $z=x+iy$ and attempted to split $f$ into a $u(x,y) + iv(x,y)$ to apply the Cauchy Riemann equations, but this ...
0
votes
1answer
29 views

Can we find a real $u$ such that $f(u)=w$ ($w$ is fixed) and $f'(u)≠0$?

Let $f\colon\mathbb C\to\mathbb C$ be an entire non constant function. We consider its values on the real line. The function $f$ has infinitely many real zeros and there is infinitely many real ...
0
votes
0answers
23 views

Sufficient Conditions for Analyticity: C-R equations and?

My understanding of the subject is: (1) One of the necessary conditions for analyticity of f(x,y)=u(x,y)+iv(x,y) is satisfaction of the Cauchy-Riemann equations (in x-y, polar, or z-z* form). (2) The ...
4
votes
5answers
78 views

If $f=u+iv$ is an entire function such that $u^2\geq v^2,$ then $f$ is constant

Let $f=u+iv$ be an entire function such that $u^2(z) \geq v^2(z), \forall z \in \mathbb{C}.$ Could anyone advise me how to prove $f \equiv$ constant $?$ Hints will suffice. Thank you.
1
vote
1answer
79 views

Prove that f is one-to-one on D

Let $f$ be an analytic function on a disc $D$ whose center is the point $z_0$. Assume that $|f'(z)-f'(z_0 )|<|f'(z_0)| $ on D. Prove that $f$ is one-to-one on D.
0
votes
0answers
17 views

Complex Plane - Analytic Function

I am trying to understand the definition of an analytic function and how to solve for it's domain. I understand that for $f(z) = {1\over z}$ the function is analytic on the complex plane except for 0. ...
0
votes
1answer
22 views

Maximum Value - Analytic function

I am having a hard time figuring out where to start and what results to use to address the following question: Suppose $f(z)$ is analytic in the unit disc $D=\{z:|z|<1\}$ and continuous in the ...
1
vote
1answer
24 views

Minimum phase non-rational transfer function: Hilbert transform between log magnitude and phase

In Signal Processing literature, it is well known that a minimum phase sequence with rational transfer function ('zeros' and 'poles' in unit circle) has Hilbert transform relation between log ...
0
votes
1answer
14 views

A simple function with no tangential limits but with non-tangential limits

I am going to be teaching a course about the Hardy space and I would like to show the students that the non-tangential limit is a necessary concept BEFORE telling them about Blaschke products. Is ...
2
votes
3answers
66 views

Does the Taylor series of an infinitely differentiable function converge; and if yes, does it converge to the function? [duplicate]

I have googled it, but I am not satisfied with those. So my questions are: Let $D$ be an open set in $\mathbb{R}$. Let $f:D\rightarrow \mathbb{R}$ be a infinitely differentiable ...
0
votes
1answer
25 views

Is $\sum c_n z^n$ analytic when $c_n$ is Banach-valued?

I'm trying to define "Analytic function". I want a definition that covers all interesting cases. To be specific, let me explain what exactly I want Here is the definition of analytic function in ...
0
votes
1answer
16 views

Convergence of Taylor series about centre of open disc for analytic function.

I define a function on an open set of the complex plane to be analytic if about any point $z_0$ in that set it can be expanded as a power series in $(z - z_0)$ that converges in some neighbourhood of ...
0
votes
0answers
49 views

Analytic Continuation of the zeta function

Is the analytic continuation of the Riemann zeta function to the upper half plane unique? I don't know much complex analysis, so I can't see why that is the case.
2
votes
0answers
32 views

Proof that f(z) = $z^{n}(z^*)^{m}$ is not analytic in any point

Proof that f(z) = $z^{n}(z^*)^{m}$ is not analytic in any point. If i look at the limit of a more simple function of this form: f(z) = $\frac{z}{z^*}$ I would say that the limit does not exist, ...
6
votes
1answer
68 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 ...
5
votes
1answer
59 views

When is an analytic function in $L^2(\Bbb R)$?

Suppose $f:\Bbb R\to\Bbb C$ is real analytic. In order for $f$ to be in $L^2(\Bbb R)$, clearly all terms in the power series cannot be positive since $f$ would diverge at $\pm\infty$. Likewise, the ...
0
votes
0answers
43 views

Analytic approximations of the step function

Consider the Heaviside step function: $$H:\mathbb{R}\to \mathbb{R} $$ defined by $$H(x)=\begin{cases} 0 & \mbox{if } x<0 \\ 1 & \mbox{if } x\geq 0\end{cases}$$ Fix any $\delta>0$. Given ...
0
votes
1answer
24 views

Question about constructing complex entire function

How to construct an entire function for infinitely many prescribed values? i.e. I hope to find an entire function $f$ given $f(z_k) = w_k$ ($w_k$ might not be zero) for a sequence of $\{z_k\}$ with ...
0
votes
0answers
40 views

Determine a branch of $f(z)=\log(z^3-2)$ that is analytic at $z=0$ and find $f(0)$ and $f'(0)$

So I have found this problem in the last exam paper, but I have never done anything like this in class. The professor says that the resit will be very similar to the last 2 papers, so I would really ...
1
vote
1answer
21 views

Moment-determinacy in multivariate case

Let $X$ be a random vector with probability density $p$. In the scalar case I have learned that if the characteristic function of $X$ is real analytic, then all moments exist and $p$ is determined ...
1
vote
2answers
45 views

Complex function defined by contour integral along a smoothly varying path

Let $D$ be a domain in the complex plane. Consider the function $F: D\to \mathbb{C}$, defined by $$ F\left( z \right) = \int_{\mathscr{C}\left( z \right)} {f\left( {z,t} \right)dt} . $$ Suppose that ...
3
votes
1answer
41 views

Poles of Fourier transform

Let $f\in L_2(\mathbb R_+)$ and consider its Fourier transform $$F(\zeta)=\int_0^\infty f(x)e^{ix\zeta}dx$$ Is it true that analytic continuation of $F(\zeta)$ has at most finitely many poles in a ...
5
votes
1answer
99 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 ...
0
votes
1answer
43 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$, ...
0
votes
1answer
35 views

Does analytic at a point implies differentiable at that point?

A function $f:A \subset \Bbb C \to \Bbb C$ is said to be analytic if it is locally given by a convergent power series i.e. every $z_o \in A$ has a neighbourhood contained in $A$ such that there exists ...
1
vote
0answers
38 views

Zeros of the derivatives of a finite Blaschke product.

Let $B$ be an $n$ degree finite Blaschke product. By considering the level curves of $B$, one can show that $B'$ has $n-1$ critical points in the disk (counting multiplicity). Is anything known ...
1
vote
0answers
25 views

separate vs joint real analyticity

Let $$f(x,y) := xy\exp\left(-\frac{1}{x^2+y^2}\right),$$ if $(x,y)\neq (0,0)$ and $f(0,0):=0$. I read the claim that $f$ is (a) separately real analytic on $\mathbb{R}\times\mathbb{R}$ (i.e. for ...
2
votes
0answers
42 views

Non-Trivial Self-Inverse Analytic Function In The Complex Plane

Let $f$ be a complex-valued function which is analytic for all values of $z$ in the complex plane and which satisfies $$f(f(z))= z $$ i.e. it is a self-inverse function. The trivial solutions for $f$ ...
0
votes
1answer
35 views

Analytic Function In The Complex Plane Which Always Gives Real Values

Let $f$ be a non-constant, complex-valued function which is defined and analytic for all $z$ in the complex plane. Also, $f$ has the additional property that it is always real. To me, such a function ...
15
votes
3answers
365 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 ...
2
votes
2answers
45 views

Proof that Radius of Convergence Extend to Nearest Singularity

Can someone provide a proof for the fact that the radius of convergence of the power series of an analytic function is the distance to the nearest singularity? I've read the identity theorem, but I ...
1
vote
1answer
31 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 ...
0
votes
1answer
41 views

Is there an analytic function defined on $\Bbb C$ except for Gaussian integers where it has poles of order 1 and residue 1?

I need a function defined for all complex variables $z$, except for at all the Gaussian integers, where it has poles of order 1 and residue 1. The function has to be complex-analytic. Can anyone ...
0
votes
0answers
32 views

Covering up discontinuities to create analyticity

The floor function, $\lfloor x \rfloor$ , has a "jump" at the integers where its derivative ceases to exist. Everywhere else, its derivative is zero. Now, I wish to multiply the floor function by ...
4
votes
0answers
55 views

Riemann Zeta Function Analytic Continuation

I am struggling to understand how the analytic continuation of the Riemann Zeta function is derived to extend it to all complex values $z$ not equal to $1$, starting with the series which converges ...
5
votes
0answers
40 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$ ...
1
vote
1answer
41 views

Uniformly analytic functions

Consider the following definition: Let $\Omega$ be an open set of $\mathbb{R}_x^n$, $x = (x_1, ..., x_n)$. A $\mathcal{C}^{\infty}$-function $\varphi(x)$ on $\Omega$ is said to be uniformly analytic ...
6
votes
1answer
55 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 ...
1
vote
0answers
42 views

Constructing an analytic continuation

I'm hoping someone could verify my answer to the following problem: Consider a function $f$ that is continuous for $Im(z) \geq 0$ and analytic for $Im(z) > 0$. Furthermore, assume that $f$ ...
7
votes
1answer
109 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 ...
4
votes
1answer
70 views

Boundary behaviour of holomorphic function on unit disk

Let $\mathbb{D}=\{z \in \mathbb{C} \ | \ |z|<1 \} $ be the open unit disk in the complex plane. I would like to see explicit examples of the following phenomena: a holomorphic function $f$ on ...
1
vote
1answer
54 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 ...
0
votes
1answer
56 views

What is the difference between the terms smooth, analytical e continuous?

I saw the following (“roughly speaking”, like the author says) definition of a Lie group in ‘Group theory in Physics’, by Wu-Ki Tung: “Roughly speaking, a Lie group is an infinite group whose ...