Questions tagged [analytic-functions]

For questions about analytic functions, which are real or complex functions locally given by a convergent power series.

An analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions, categories that are similar in some ways, but different in others. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not hold generally for real analytic functions. Besides, not all infinitely differentiable real function are analytic; for instance the fonction $f\colon\mathbb{R}\longrightarrow\mathbb{R}$ defined by $f(x)=\exp\left(-\frac1{x^2}\right)$ if $x\neq0$ and such that $f(0)=0$ is infinitely differentiable, but not analytic. On the other hand, every differentiable function from an open non-empty subset of $\mathbb C$ into $\mathbb C$ is analytic.

A function is analytic if and only if its Taylor series about $x_0$ converges to the function in some neighborhood for every $x_0$ in its domain.

1369 questions
54
votes
11 answers

Why is the notion of analytic function so important?

I think I have some understanding of what an analytic function is — it is a function that can be approximated by a Taylor power series. But why is the notion of "analytic function" so important? I guess being analytic entails some more interesting…
33
votes
3 answers

Extension of real analytic function to a complex analytic function

I just learned that real analytic functions (by real analytic, I mean functions $f: \mathbb{R} \to \mathbb{R}$ which admit a local Taylor series expansion around any point $p \in \mathbb{R}$) cannot be extended to complex entire function always. I…
24
votes
2 answers

Can any analytic function be written as the difference of two monotonically increasing analytic functions?

This question is not a duplicate of this one or this one, since the solutions shown there contain jumps. Let $f(x)$ be an analytic function on $\mathbb{R}$. We can take its Taylor series and group the terms with a positive coefficient in one…
24
votes
0 answers

What can be said about the level set of the real part of an analytic function?

I am working with a function $F(z;a)$, for $z\in \mathbb{C}$ and $a$ being a set of parameters, from which I need to analyze the level set $\text{Re}(F(z))=0$ (for a fixed set of parameters $a$, which I will drop the notation now). The function $F$…
21
votes
3 answers

Show that $f(z)=\sum_{n=0}^{\infty}z^{2^n}$ can't be analytically continued past the unit disk.

I'm reading the problems of Stein and Shakarchi's Complex Analysis, Chapter 2 Problem 1 asks to show that $$f(z)=\sum_{n=0}^{\infty}z^{2^n}$$ cannot be analytically continued past the unit disk. (Hint: Suppose $\theta =\frac{2\pi p}{2^k}$ for…
19
votes
1 answer

On certain algebraic functions on the interval $[0, 1]$

Let $\mathcal{C}$ be the class of continuous and polynomially bounded functions that map the interval [0, 1] to [0, 1]. A function $f(x)$ is polynomially bounded if both $f$ and $1-f$ are bounded below by min($x^n$, $(1-x)^n$) for some integer $n$…
19
votes
2 answers

The Lebesgue measure of zero set of a polynomial function is zero

Suppose $f :\mathbb R^n \to \mathbb R$ be a non zero polynomial(more generally smooth) function.Suppose $Z(f)=\{ x \in \mathbb R^n \mid f(x)=0 \}$. Show that Lebesgue measure of $Z(f)$ is zero. I am trying to use induction on $n$.The result holds…
14
votes
1 answer

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 there exists a $\delta>0$ such that $f(x)=g(x)$ for…
13
votes
2 answers

Analytic "Lagrange" interpolation for a countably infinite set of points?

Suppose I have a finite set of points on the real plane, and I want to find the univariate polynomial interpolating all of them. Lagrange interpolation gives me the least-degree polynomial going through all of those. Is there an analogous construct…
13
votes
3 answers

Theorems that give sufficient condition for a $C^{\infty}$ function to be analytic

What are general theorems that give sufficient criteria for a $C^{\infty}$ function to be analytic? The more general/simple the test, the better. I'm trying to understand in a more thorough way what prevents $C^{\infty}$ functions from being…
Vik78
  • 3,963
12
votes
0 answers

Convergence of Laplace transform

Suppose that $F: \mathbb{C} \to \mathbb{C}$ is analytic when $\operatorname{Re}(z)>0$. Assume that it is possible to show that $F$ can be represented as a Laplace transform $$ F(z) = \int_0^{ + \infty } {\rm e}^{ - zt} f(t)\,{\rm d}t, $$ for…
Gary
  • 36,640
12
votes
2 answers

Asymptotic behaviour of $f(x) = \sum_{n=1}^\infty n^\varepsilon \frac{x^n}{n!}$ for $\varepsilon\in(0,1)$

Let $\varepsilon \in (0, 1)$ and consider the analytic function $$f(x) = \sum_{n=1}^\infty n^\varepsilon \frac{x^n}{n!}.$$ What is the order of growth of $f(x)$ as $x \to \infty$? From the basic inequality $1 \leqslant n^\varepsilon \leqslant n$ I…
11
votes
2 answers

An integral involving a smooth function

Let $f : [0,1] \to \mathbb [0,1]$ be a smooth function (class $C^\infty$) that is not necessarily real-analytic. Let $g : (-1, \infty) \to \mathbb R$ be the function defined by $g(x) = \int_0^1 f(t) \, t^x dt$. Is $g$ necessarily a real-analytic…
10
votes
2 answers

Definitions of analytic, regular, holomorphic, differentiable, conformal: what implies what and do any imply that a function is a bijection?

I'm looking back at some complex analysis and have gotten myself a little muddled in all of the definitions analytic/ regular/ holomorphic/ differentiable/ conformal... In particular, at the moment I'm thinking about conformal functions $f(z)$ on…
9
votes
3 answers

Analytic extension of $\text{Li}_0^{(1,0)}(z):=-\displaystyle\sum_{n=1}^{\infty}\ln(n)z^{n}$ for $|z|>1$

I would like to extend the domain of the following function: $$\text{Li}_0^{(1,0)}(z):=-\sum_{n=1}^{\infty}\ln(n)z^{n}\qquad\text{where }|z|<1$$ The part in red is the series, the part in green is a hypothetical extension I'll start by saying that…
1
2 3
91 92