Questions tagged [analyticity]
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 of functions over the complex numbers.
0
votes
3answers
39 views
why is this complex function not analytic anywhere?
I know for $f(z)=z\bar z$, where $\bar z$ means the conjugate of $z$. Cauchy-Riemann equations are satisfied at $(0,0)$. Also, partial derivatives of U and V exist and are continuous everywhere. so ...
1
vote
0answers
30 views
Proof Check: Unique Continuation of Analytic Functions
Here is the theorem I have been attempting to prove, I would love to hear some feedback on it!
Theorem:
Suppose $\Omega$ is a connected topological space, $f$ is a real analytic function and $f=0$ ...
0
votes
0answers
14 views
Unique continuation of real analytic functions [on hold]
How does one prove this property? This is for my final year project and I'm finding it very difficult.
4
votes
1answer
36 views
If an analytic map $f$ has “many” values in a negligible set $B$, does $\text{Image}(f) \subseteq B$?
Let $k>n$ be positive integers, and let $f:\mathbb R^n \to \mathbb R^k$ be a real-analytic map (i.e. every component of $f$ is a real-analytic function).
Suppose that we have a measurable ...
0
votes
0answers
21 views
Is a multivalued function analytic over its branch cut?
I want to evaluate the integral $\int_Cf(z)dz$, where C is the unit circle centered at the origin, and $f(z)$ = log(z+2).
I know that the integral of a function over a simple, closed contour is $0$ ...
2
votes
0answers
26 views
Are semianalytic sets Lebesgue measurable?
Let $f:\mathbb{R}^n\to\mathbb{R}$ be an analytic function, and consider the semianalytic set $E:=\{\vec x\in\mathbb{R}^n|f(\vec x)=0\}$. Is the set $E$ automatically Lebesgue measurable?
Note: My ...
1
vote
2answers
38 views
Analytic function vanishes in an open unit disk. Show it vanishes identically.
$f$ is an analytic function that vanishes in a unit disk which is a subset of domain $D$. Show that it vanishes all over $D$.
This was one of our quiz questions and I think we need to assume that $D$ ...
1
vote
0answers
29 views
For which subsets of $\mathbb{C}$ can a non-constant analytic function have an accumulation point of zeros?
Define $f$ to be complex analytic on some subset $S$ of $\mathbb{C}$ if $f$ is given locally by a power series (I'm not requiring $S$ itself to be open.)
If $S$ is connected and open, then if there ...
1
vote
1answer
85 views
Show that $e^{-1/x^2}$ is not analytic around $x=0$.
I have been working on the following question. Define a function
\begin{align*}
f(x)=
\begin{cases}
e^{-1/x^2}&\text{ for }x>0,\\
0&\text{ for }x=0
\end{cases}
\end{align*}
Prove that $f$ ...
0
votes
0answers
17 views
Bessel function of 1st kind and integer order in complex plane.
Read the definition of Bessel function here. https://en.m.wikipedia.org/wiki/Bessel_function
Let me write the definition Bessel function $J_n(x)$ of 1st kind and integer order n,
$$J_n(x)=1/(2\pi) \...
2
votes
2answers
77 views
Integral of real part of $z$ around the unit circle
What is the result of integrating the real part of z (a complex number) anti clockwise around the unit circle?
At first glance, I couldn't identify any points within the circle where analyticity ...
2
votes
1answer
42 views
How to justify this statement?
Let $f$ a holomorphic function in $\mathbb{D}(0,1)$ such that $f(z)=\sum_{n\ge 0}a_n z^n$. Then apparentely we can deduce that for all $r\in [0,1[$, $n\ge1$ : $\int \limits_{0}^{2\pi} \overline{f(r\...
3
votes
0answers
37 views
Solve equations of mixed type analytically
Consider the problem of solving for y in the following equations:
$$e^y+y=x \\ \sin y\ + y = x $$
I have often heard it said that "these types of problems" (finding the inverse of a function with a ...
0
votes
1answer
48 views
$f^{(k)}(z_0)=0$ for all $k\geq0$ implies that $f=0$
I'm trying understand that given an analytic function in a domain, if the function and all its derivatives vanish at a point, then, the function itself is zero.
I was told that this is a direct ...
2
votes
3answers
89 views
Determine if $f(z) = \log(e^z+1)$ is analytic and where
I tried to substitute $z$ with $x+iy$ and then write it down as $f(z) = log(e^xcis(iy)+1) $ but it looks worse than the starting point. on original branch
2
votes
1answer
136 views
Fourier Transform of Exponentially Decaying Function Cannot Have Compact Support
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a measurable function, with $|f(x)| \le e^{-|x|}$ a.e.
Then how can we prove that its Fourier transform, $\hat{f}$, cannot have compact support (unless $...
0
votes
1answer
18 views
Definition of analytic function at a point
Suppose $f:I\to \mathbb{R}$, where $I$ is an open subset of $\mathbb{R}$, is a smooth function on $I$, $f\in C^{\infty}(I)$. Let $x_0\in I$.
Def. We say that $f$ is analytic on $x_0$ if the Taylor ...
0
votes
1answer
34 views
If $f$ is analytic on $(a, b)$ containing at point $x_{0}$ with $f^{(n)}(x_{0}) = 0$ for $n \in \mathbb{N}$, prove $f(x) = 0$ for all $x$.
If $f$ is analytic on $(a, b)$ containing at point $x_{0}$ with
$f^{(n)}(x_{0}) = 0$ for $n \in \mathbb{N}$, prove $f(x) = 0$ for all
$x$.
Hi, I need help with the above problem. I'm working ...
1
vote
1answer
27 views
An even function, $f(z)$, analytic near 0 can be written as another analytic function, $h(z^2)$
If f is an even function, $f(z) = f(-z)$, and is analytic near 0, then there exists a function h, also analytic near 0, such that $f(z) = h(z^2)$
I suspect this statement is true because the ...
1
vote
0answers
35 views
Can Analytic Functions on the Circle be Characterized by Sobolev Norms?
In Exercise I.4.4 of Katznelson's book An Introduction to Harmonic Analysis we learn that the Fourier series $$f(z) = \sum_{k=-\infty}^{+\infty} f_k z^k$$ defines an analytic function in the ...
1
vote
1answer
49 views
Bounding the extrema of polynomials from $\frac{d^n}{dx^n} \exp(-1/x)$
As laid out on Wikipedia, the function
$$f(x):=\begin{cases} \exp(-1/x) & x>0\\ 0 & x\le 0 \end{cases}$$
has the expression for derivatives at $x>0$,
$$ f^{(n)}(x) = \frac{p_n(x)}{x^{...
0
votes
2answers
33 views
Analytic properties of a series
I was wondering about whether it is possible that the analytic properties of a series are different from the ones of the partial sums. For instance suppose we have the series
$$S=\sum_{n=0}^{\infty}\...
0
votes
0answers
15 views
How to find a harmonic conjugate or not [duplicate]
Show that $u = \log|z| $ does not have a harmonic conjugate $v$ throughout $\mathbb{C}-\{0\}$, that is, show that there is no function $v$ such that $\log |z| + iv(z)$ is analytic in $\mathbb{C}-\{0\}...
0
votes
1answer
22 views
Show that $h(z)=\int_{0}^{1}\frac{t^2}{1-tz}dt$ is analytic in a nbh. of zero.
Consider the function
$$h(z)=\int_{0}^{1}\frac{t^2}{1-tz}dt$$
whenever the integral exists, $z \in \mathbb{C}$. Show that $h$ is analytic in a neighborhood of the origin and calculate the power ...
0
votes
0answers
20 views
Is a function still analytic if its infinite sequence of subsequent derivatives, at every point of its domain, grow faster than the factorial?
Taylor series have the nth derivative ($f^{(n)}(a)$) in their numerator and n! in their denominator. I was wondering what if the derivatives (for any point $a$) grows faster than the factorial. Does ...
1
vote
1answer
42 views
If $f$ is analytic on $\mathbb{R}$, is it necessary that $f = \sum_{n = 0}^{\infty} a_{n} x^{n}$ converges for all $x \in \mathbb{R}$?
I have two questions regarding analyticity. They are pretty easy, and I think I have them correct, but I just want to make sure.
First, regarding the question in the title,
I think that it is ...
0
votes
3answers
60 views
If $f$ is an entire function with $|\,f(z)|\le|\operatorname{Re}(z)|$, then $\,f\equiv 0$.
If $f$ is an entire function so that $|\,f(z)|\le|\operatorname{Re}(z)|$ for all $\mathbb{C}$, then $f\equiv0$ on $\mathbb{C}$.
There are various ways showing the above property. For example, using ...
3
votes
1answer
96 views
Find a function $f$ analytic at $x_{0} = 0$ so that $f\left(\frac{1}{n}\right) = \frac{n}{n + 1}, n = 1, 2, \ldots$.
I am learning about real analytic functions on my own right now. I've been
having trouble with one of the exercises, and it isn't much help that most of the resources online for analytic functions ...
2
votes
0answers
22 views
For $|q|<1$, the function $\frac{(az;q)_\infty}{(z;q)_\infty}$ is analytic on $|z|<1$.
I want to prove that for $|q|<1$, the function $f(z):=\frac{(az;q)_\infty}{(z;q)_\infty}$ is analytic on the set $\{z:|z|<1\}$.
My approach: We consider the sequence of functions $\{f_n\}$ ...
0
votes
1answer
65 views
Analytic continuation of representations between $SO(4)$ and $O(1,3)$ Lie algebras
$SO(4)$ transformations and Lorentz transformations are isomorphic in a neighbourhood of their identity element. Can anyone shed light about how this could lead to the analytic continuation of their ...
0
votes
1answer
86 views
Smooth and not analytic
Can someone show me, without reference to Taylor series, why a complex function can be smooth but not analytic? I do not understand it intuitively or visually either.
I would like an explanation ...
0
votes
0answers
67 views
Is it impossible that gradient descent converges to strict saddle point?
Suppose $f(x), x \in X \subset R^n$, is a smooth function (or real analytic function) which has only one stationary point $x^* \in X$, ($\nabla f(x^*)=0$), and $x^*$ is a strict saddle point which ...
3
votes
1answer
57 views
Doe a smooth function map positive measure sets to positive measure sets
Suppose $f: X \subset R^n \to R^n$ is a smooth function (for example $C^2$ function), and for each $y \in R^n$, the set $f^{-1}(y)$ is finite. Do we have $f(A)$ is a positive measure set if $A$ has ...
1
vote
1answer
119 views
Understanding why f(z) can be differentiable, but not analytic
I'm working through a practice exam and can only do part of this problem.
Let $f(z) = x^3 + iy^3$. Find all points where the Cauchy-Riemann equations are satisfied, and give a brief explanation of ...
3
votes
0answers
130 views
Are conformal maps between Riemannian manifolds real-analytic?
Let $M,N$ be oriented smooth ($C^{\infty}$) $n$-dimensional Riemannian manifolds, and let $f:M \to N$ be a smooth orientation-preserving weakly* conformal map.
Do there exist real-analytic ...
0
votes
0answers
41 views
Wanted: Simple invertible function with the following properties
The function
$$f(x) = x \tanh(\frac{\pi}{2}\sinh{x})$$
has useful properties in numerical calculations as it is an even function that converges extremely quickly to $x$ for large input values. ...
0
votes
1answer
141 views
$f(z)$ is analytic if and only if $f(z)$ cannot be written as function of $\bar z$ ( where $z\in\mathbb C$ and $\bar z$ is conjugate of $z$)
Maybe I understand it wrong. I don't feel relax if I don't ask this question.
I study complex analysis myself.
In the nptel's video(given below), Prof. V. Balakrishnan says that If a function of $z=...
0
votes
0answers
33 views
Extending the domain of an analytic function to a larger set
I have the following problem: Given some function $f : \mathbb C \rightarrow \mathbb C$ that is analytic on some vertical line segment, there exists some (non-trivial) rectangle around that line ...
4
votes
0answers
78 views
“Nearly-analytic” functions
Call a function $f : \mathbb{R} \rightarrow \mathbb{R}$ nearly analytic iff it is smooth, and for each point $x \in \mathbb{R}$, either $f$ is analytic at $x$, or there exist $a,b > 0$ such that $f$...
2
votes
1answer
59 views
How to show a real valued function of several variables is analytic?
Let $f:\Omega\subset\Bbb{R}^m\to\Bbb{R}^n$ be a given function. In general, how can I show that $f$ is smooth (infinitely differentiable) and analytic. I know this is a bit vaguely stated question, ...
1
vote
1answer
46 views
Differentiability of $f(x+iy)=|x|+i|y|$
I am trying to find where the function $f(x+iy)=|x|+i|y|$ is differentiable and then determine where it is analytic.
I have been using the Cauchy-Riemann equations to show where a function is ...
2
votes
0answers
65 views
Is a real-analytic function which vanishes on a set of positive measure identically zero? [duplicate]
Suppose $n>1$, and let $U \subseteq \mathbb{R}^n$ be an open connected set.
Let $f$ be a real-analytic function on $U$. Suppose that $f=0$ on a subset of $U$ of positive measure. Is it true that $...
9
votes
1answer
238 views
What uniquely characterizes the germ of a smooth function?
Let $X$ be the set of all functions $f:\mathbb{R}\rightarrow\mathbb{R}$ which are infinitely differentiable at $0$. Let us define an equivalence relation $\sim$ on $X$ by saying that $f\sim g$ if ...
0
votes
1answer
24 views
Analyticity of a Fourier transform
I was reading a physics paper and the author made a statement that I didn't follow.
Suppose $p(t)$ is given by the Fourier transform of $\omega(E)$
\begin{equation}
p(t) = \int_{-\infty}^{+\infty} ...
2
votes
1answer
105 views
Which one of the following are true?
Consider the function $e^{-z^{-4}}$ for $z≠0$ and $f(0)=0$. Then,
(A) $f$ is not analytic.
(B)$f$ is not differentiable at $z=0.$
(c)$f$ does not satisfy the C-R(Cauchy-Riemann) ...
0
votes
0answers
77 views
Error bounds for Gauss-Hermite quadrature, for analytic functions
I am working with the class of analytic functions and I want to derive some estimates, using error bounds for Gauss-Hermite quadrature, for analytic functions (based on Bernstein ellipses).
The issue ...
1
vote
0answers
38 views
Extensions of real analytic functions with multiple variables
I wonder if my statements below are correct.
Let $V$ be an open domain in $\mathbb{R}^d$, and $U$ an open domain in $\mathbb{C}^d$ with $V=\operatorname{Re}U:=\{\operatorname{Re}z:z\in U\}$.
I want ...
1
vote
1answer
41 views
Analytic function. Bounding number of zeros with the number of critical points
Let $f$ be a real analytic function on $|x|< R$.
Let $N(R,f)$ be the number of zeros of $f$ in the region of analyticity.
Can we show taht
\begin{align}
N(R,f) \le N(R,f^\prime)+2
\end{align}
...
0
votes
1answer
71 views
Infinite sum of analytic functions becomes non-analytic
I am looking for a simple example that a series of analytic functions can become non-analytic. This is in the context of phase transitions, where one considers the analyticity of the partition ...
1
vote
1answer
32 views
Analysis of $\mathbb C^{n\times n} \to \mathbb C^{n\times n}$ functions and integrals of them.
Due to a previous question being too sloppily written by me I here try to be a bit more clear on what I wondered.
For functions defined
$$\mathbb C^{n\times n} \to \mathbb C^{n\times n} : A+Bi \to f(...
