Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
563 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 well-...
Stefan Kohl's user avatar
  • 19.6k
3 votes
2 answers
291 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 $R_{m,n}[a,b]=\{p/...
Sabari's user avatar
  • 31
2 votes
1 answer
310 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 $\lambda\...
D M's user avatar
  • 173
12 votes
4 answers
2k 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 $S(...
Benjamin Dickman's user avatar
18 votes
6 answers
3k 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 ...
user23078's user avatar
  • 1,644
5 votes
1 answer
225 views

Extending Jordan loops

I encountered this issue recently, but do not know of any general results to deal with it, so I would appreciate any pointers. Let $\mathbb T=\{z\in\mathbb C\mid |z|=1\}$, and let $f:\mathbb T\to\...
Andrés E. Caicedo's user avatar
11 votes
1 answer
1k views

Extending an assignment property from Q to R (or C)

Property of any odd number of nonnegative integers: Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
Benjamin Dickman's user avatar
3 votes
2 answers
466 views

Question on a Basel-like sum

Hello all, I have happened upon the following sum: $ 1^2 + \Big(1 \times \frac{1}{3} + \frac{1}{3} \times 1 \Big)^2 + \Big(1 \times \frac{1}{5} + \frac{1}{3} \times \frac{1}{3} + \frac{1}{5} \times ...
Greg Markowsky's user avatar
1 vote
1 answer
3k 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 ...
Robert's user avatar
  • 11
3 votes
0 answers
289 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 ...
user19172's user avatar
  • 529
5 votes
1 answer
1k views

Notions related to De Rham Cohomology

In R^2, we have the following abelian groups, some of which have R vector space structures, or even C vector space structures. Closed forms/exact forms real parts of analytic functions/harmonic ...
Jeff's user avatar
  • 51
2 votes
1 answer
275 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 ...
zapkm's user avatar
  • 541
3 votes
0 answers
237 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 $x\in\mathbb{R}...
Maciej Skorski's user avatar
2 votes
0 answers
354 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 $n*f_{...
cheater's user avatar
  • 165
3 votes
1 answer
263 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 $\epsilon_{m,n}:=f(mn)...
M.G.'s user avatar
  • 7,127
74 votes
15 answers
18k 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 http://...
Gil Kalai's user avatar
  • 24.7k
72 votes
9 answers
16k views

Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)

Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
Yoo's user avatar
  • 1,093

1 2 3 4 5
6