19
votes
2answers
499 views

Which smooth compactly supported functions are convolutions?

If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...
0
votes
1answer
85 views

Looking for methods/results for explicitly bounding iterations of rational functions

In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series. That is, suppose that $$ ...
5
votes
1answer
231 views

Asymptotic value of a multivariate integral

The following question is a simple case of a type of problem that occurs in combinatorial enumeration problems. Define $$F(x_1,\ldots,x_n) = \frac{1}{(2\pi)^{n/2}}\exp\biggl( -\frac12\sum_{j=1}^n ...
1
vote
0answers
124 views

Extensibility of real analytic function of several variables to complex domain

My question relates to the extensibility of a real analytic function of several variables to a specific complex domain. In order to formulate the question, let me define the following complex ...
3
votes
0answers
205 views

The functional equation of Hofstadter's Q sequence

Hofstadter's Q sequence is defined by $Q(1) = Q(2) = 1$ and $Q(n) = Q(n-Q(n-1)) + Q(n-Q(n-2))$ for $n \geq 3$. So far hardly anything on this sequence has been proved -- not even that $Q(n)$ is ...
2
votes
2answers
242 views

on completeness of R_mn, the set of all rational functions of type (m,n)

It is known from finite dimensionality of $P_r$, the space of all polynomials of degree less than or equal to $r$, that $P_r$ is complete with respect to uniform norm. Considering ...
2
votes
1answer
177 views

Boundedness of an Oscillating Integral

Let $g(x):\mathbb{R}_{\geq0}\rightarrow\mathbb{R}$ be real analytic s.t. $g(0)\neq 0$ and $g(x)=O(x^{-2})$ as $x\rightarrow\infty$. I think the following integral should be bounded as ...
7
votes
4answers
543 views

Seeking a Geometric Proof of a Generalized Alternating Series' Convergence

Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges: $$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$ Note that ...
8
votes
3answers
619 views

What's the use of Malgrange preparation theorem?

The Malgrange preparation theorem,which is the $C^{\infty}$ version of the classical Weierstrass preparation theorem,says that if $f(t,x)$ is a $C^{\infty}$ function of $(t,x)\in\mathbb{R}^{n+1}$ near ...
0
votes
1answer
848 views

In Fourier Transforms: Positive Definite Functions, Bochner's Theorem, and Derivatives

I've been reading about Bochner's Theorem lately, but when I apply it to the derivative of a function, I seem to get a contradiction with the theorem. "Bochner's theorem states that a positive ...
2
votes
0answers
232 views

How well do continuously differentiable functions behave from R^2 to R^2 ?

The behaviour of complex smooth vs 1-dimensional real smooth functions is discussed in a previous question. In "Complex Analysis as Catalyst" by Steven G. Krantz, the Cauchy integral formula is ...
1
vote
1answer
221 views

Conformal Extension from a closed set to open

Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
3
votes
0answers
170 views

Monotonicity of a certain parametric integral

I would like to ask for some help (hints, ideas) in solving the following problem: Given integer $n>0$ and real $\alpha>0,\beta>1$ we want to show, that if we define for any ...
2
votes
0answers
286 views

What is this effect in Fourier/additive synthesis called?

Hi, I have re-synthesized a cyclic function additively, and I added a fixed offset to the frequency of each partial. So if the function was $\sum a_{n} sin(2 \pi x * n)$ and its frequencies were ...
3
votes
1answer
209 views

Asymptotically multiplicative functions and matrices

Hi, Let $\mathbb{N}_{cop}^2$ denote the set of all pairs of coprime natural numbers. A function $f:\mathbb{C}\rightarrow\mathbb{C}$ is called asymptotically multiplicative, iff ...
43
votes
16answers
9k views

f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential.

The question is about the function f(x) so that f(f(x))=exp (x)-1. The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here ...