Special functions, orthogonal polynomials, harmonic analysis, ODE's, differential relations, calculus of variations, approximations, expansions, asymptotics.

learn more… | top users | synonyms (2)

5
votes
1answer
126 views

A two-point inequality

Let $M(p,q) = (2p-\sqrt{p^{2}+q^{2}})\sqrt{p+\sqrt{p^{2}+q^{2}}}$ and set $B(t) = M(x+t, \sqrt{t^{2}+(y+bt)^{2}})$. Given any real $x,y,b$ is it true that $\varphi(t) = B(t)+B(-t)$ is decreasing in $...
-1
votes
0answers
88 views

Summing a series of integrals [on hold]

EDIT: This IS related to my research (investigating representations of the harmonic mean)and I gave the wrong formula for the sum the first time around. The sum formula has been amended below. I ...
6
votes
1answer
121 views

L1 analog of Bernstein's inequality

Let $p(x)$ be a degree $n$ polynomial over $[-1, 1]$, and let $q(x) = p'(x) \sqrt{1-x^2}$. Is it true that $$ \|q\|_1 \leq O(n) \|p\|_1 $$ where we define $\|f\|_p := \left(\int_{-1}^1 |f(x)|^pdx\...
4
votes
1answer
66 views

uniform one-sided van der Corput inequality

Is the following true (and if yes, where the best proof is written?)? For any $c>0$ for large enough positive integers $N$ we have $\sum_{k=0}^{N-1} \cos(k^2t)\geqslant -cN$ for all real $t$? Hm,...
3
votes
2answers
208 views

Extremal problem for sequences

Let $a_n$ be a sequence of positive numbers and define $$A_n=\sum_{k=1}^{n-1} a_k a_{n-k}.$$ I am interested in the supremum of the following quantity $X/Y$ where $$X=\sum _{i=1}^{\infty } \left(\sum ...
0
votes
1answer
56 views

characterization of normality by selection theorem

The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
0
votes
0answers
12 views

Conditions for convergence to non-isolated fixed points

Consider a dynamical system of the form $$ \dot{x}=f(x), \quad x\in X, $$ and assume that the system possesses a set of non-isolated fixed points. Suppose moreover that there exists a Lyapunov $V(x)$ ...
3
votes
1answer
178 views

On nonlinear fractional field equations

In a paper by Vazquez I read that an interesting variant of fractional diffusion (where the fractional operator is usually $(-\Delta)^s$) could be $(I-\Delta)^s$. Therefore I am wondering if there are ...
7
votes
1answer
376 views

Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved). Then the Fourier transform of this function is given by $...
16
votes
3answers
1k views

Banach and Knaster-Tarski fixed point theorems — are they related?

It there any known way of obtaining the Banach fixed-point theorem from the Tarski fixed-point theorem or vice-versa?
8
votes
1answer
1k views

explicit extention of Lipschitz function (Kirszbraun theorem)

Kirszbraun theorem states that if $U$ is a subset of some Hilbert space $H_1$, and $H_2$ is another Hilbert space, and $f : U \to H_2$ is a Lipschitz-continuous map, then $f$ can be extended to a ...
2
votes
2answers
382 views

Generalizations of the Euler-Maclaurin Summation Formula

I'm using the Euler-Maclaurin formula in a research I'm working on. However brilliant is the elementary proof found here, I need and want to know more about it. Namely Specifically, I would like to ...
2
votes
0answers
72 views

Imposing boundary conditions and self-similarity on a PDE

This question is an exact duplicate of the question Imposing boundary conditions AND self-similarity on a PDE posted by Stan Corey Carter on math.stackexchange.com. I have a PDE in the ...
5
votes
0answers
99 views

For $f$ a polynomial, does strict convexity of $\log f(e^s)$ imply that the second derviative of $\log f(e^s)$ has no zeros?

Let $f(t)$ be a monic real polynomial such that $f(t) > 0$ for all $t \ge 0$. Suppose that $\log f(e^x)$ is strictly convex on $\mathbb{R}$, i.e. $f(s^2) \cdot f(t^2) > f(st)^2$ for all $s, t \...
0
votes
0answers
38 views

References for the Sturm oscillation theorem

What is the most general form of the Sturm oscillation theorem? So far I have only seen cases that treat either unbounded intervals or weighted $L^2$ spaces. I would be especially interested in ...
1
vote
0answers
44 views

Continuity and divergence

Put \begin{equation} F(s) = \sum_{n \geq 1}a_{n}(s), \end{equation} where $a_{n}(s) \geq 0$ for all $s \in \mathbb{R}$ and the series converges for $\text{Re}(s) > 1$. Suppose that $F(s)$ is ...
6
votes
0answers
189 views

Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
1
vote
1answer
95 views

Finding a stochastic differential equation as limit of a discrete stochastic equation

I'm dealing with the following problem: Choose $Z_0 \in [0,1]$ and define a process governed by the following discrete stochastic equation: $Z_{k+1}-Z_k=P_k(1-2Z_k)$ where $P_k=0$ with probability $...
2
votes
0answers
122 views

Parametric normalized Fermat curves (Fermat functions)

The normalized Fermat curve is $X^n+Y^n=1$. We have of course infinite possibilities for parametrisation, but the periodicity is a special characteristic here. E.g. $\cos^2x+\sin^2x=1$ has ...
1
vote
4answers
352 views

Sum and interpolation of hurwitz zeta functions

$$f(a,x)=\sum_{\tau=-\infty}^{\infty}\frac{\exp\left(2\pi i\tau x\right)}{(\tau+a)^{p+1}}$$ Can I apply Euler-Maclauren formula to this sum? where $a\in(0,0.5)$, p is a natural number, and $x$ is a ...
0
votes
0answers
72 views

some strange sums ramanujan type

i found sum as $$\sum _{k=0}^{\infty } \frac{e^{k x} \left(-\frac{1}{y}\right)^k}{p-e^{k x}}=\sum _{n=1}^{\infty } \left(\frac{-1+\, _2F_1\left(1,\frac{2 i n \pi -\log \left(-\frac{1}{y}\right)}{x};\...
2
votes
0answers
104 views

Decay of the Fourier transform of a surface area measure

Let $\mu$ be a surface area measure of a manifold $M\hookrightarrow\mathbb{R}^{n+1}$. If $M$ is the unit sphere $S^n$, it's known that surprisingly the Fourier transform of $\mu$ decays: $$|\hat\mu(\...
11
votes
6answers
702 views

Identities and inequalities in analysis and probability

Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
1
vote
0answers
77 views

Can we always extract a proper Hausdorff measurable subset from a Hausdorff measurable set?

I also put this question on MSE here Let $\Gamma\subset \Omega\subset \mathbb R^N$ be such that $\mathcal H^{N-1}(\Gamma)<+\infty$ (this also implise that $\Gamma$ is Hausdorff measurable). Let $\...
10
votes
7answers
5k views

a^b = b^a when a is not equal to b.

I am attempting to find a closed form solution or a nice series for $x^{x+1}=(x+1)^{x}$. First of all I looked at $a^b=b^a$. Fixing a, this means finding out when $a^{1/a} = x^{1/x}$. $f(x)=x^{1/x}$ ...
9
votes
3answers
2k views

erfc lower bound

I've seen the following lower bound for the complementary error function (erfc) but I haven't been able to prove it. Does anyone know how to establish the following? $$erfc(x) > \frac{ x \exp(-x^...
0
votes
1answer
210 views

The spherical harmonics are the EIGENVECTORS of Beltrami operator [closed]

In the well-known book "THE PRINCETON COMPANION TO MATHEMATICS" page 296, it is indicated that the spherical harmonics are the EIGENVECTORS of the Beltrami operator. In the document Spectral Geometry ...
5
votes
1answer
68 views

Optimal constant for a Sobolev-type inequality

Let $\overset{\circ}{H^s}(\mathbb T)$, where $s\ge 0$, be the space zero average of $2\pi$-periodic functions $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx},$ such that $$ \lvert u\rvert_s = \...
13
votes
1answer
433 views

Why sum of three squares of real polynomials is a sum of two squares?

If $f(x),g(x)$ are real polynomials, then $f^2+g^2+1$ is a sum of two squares of polynomials. This easily follows from Fundamental Theorem of Algebra, but is there an argument avoiding it? What are ...
6
votes
1answer
126 views

The “Peano phenomenon” for differential equations

Consider the following statement: If $f:\mathbb{R} \rightarrow \mathbb{R}$ is a continuous function, for the autonomous equation $$x' = f (x)$$ the "Peano phenomenon" can arise only at those values ...
7
votes
1answer
288 views

Rotation invariance of an integral

Consider the integral depending on 2 parameters $$f(\tau,x):=\int_{-\infty}^{+\infty}\frac{dp}{\sqrt{p^2+1}}e^{-\sqrt{p^2+1}\tau+ipx},$$ where $\tau >0,x\in \mathbb{R}$. This integral absolutely ...
5
votes
3answers
283 views

Nonlinear ODE: $y'=(1+axy)/(1+bxy)$

Consider the first order nonlinear ODE problem: $$ y'(x)=\frac{1+ay(x)x}{1+by(x)x}, \quad x>0 $$ where $a, b>0$ are some constants. I would like to know if these kind of equations were ...
3
votes
0answers
86 views

Optimal Kakeya Maximal Bound for Bushes

Let $\{T_{\alpha}\}$ be a collection of $1\times\cdots\times 1\times N$ tubes, where $N\gg 1$, with maximal $1/N$-separated directions, which all are centered at the origin (i.e. they form a bush). In ...
3
votes
2answers
359 views

An integral identity evaluating the gamma function

While reading a number theory paper I encountered the identity $$ \int_{- \infty}^{\infty} (1 + x^2)^{ - \frac{z}{2} - 1} dx = \sqrt{\pi} \frac{ \Gamma(\frac{z + 1}{2}) }{\Gamma(\frac{z}{2} + 1)},$$ ...
0
votes
1answer
76 views

Behavior of a Solution of a Nonlinear ODE

In my work, I encountered the following equation: $$ (a'(x)+1)^2+k^2(x) a^2(x)=1,\;\;k(x)=2 {\mbox{sech}}(x). $$ I would like to know as much as possible about the solution. More particularly, I would ...
14
votes
2answers
313 views

Needing proof of convergence for a sequence

Let $\left\{u_i\right\}_{i=1}^\infty$ be a sequence of real vectors (i.e. $u_i\in R^n, i=1,2,... $) and $m$ an integer large enough such that $\sum_{i=1}^m u_i u_i^T$ is a positive definite matrix. ...
5
votes
1answer
153 views

Domain of Laplacian

Let $L$ be an operator on $C^2(\mathbb R)$, defined by $$L \phi (x) = \int_{|y|<1} (\phi(x+y) - \phi(x) - \phi'(x) \ y)\ \nu(dy), \text{ for all } x\in \mathbb R$$ for a measure $\nu(dy) = |y|^{-2} ...
3
votes
1answer
497 views

Mandelbrot and “log-derivative”

I am reading Mandelbrot, and stubling upon his use of the limit ("almost a Hölder exponent") $$\lim_{\varepsilon\to0}\frac{\log(f(x+\varepsilon) - f(x))}{\log(\varepsilon)}.$$ To simplify, lets ...
9
votes
2answers
773 views

On the average of continuous functions $f:\mathbb{R}^2\rightarrow[0,1]$

Is it true that if the average of a continuous function $f:\mathbb{R}^2\rightarrow[0,1]$ over a unit circle centered around $(x,y)$ is $f(x,y)$ for all $(x,y)\in\mathbb{R}^2$, then $f$ is necessarily ...
0
votes
1answer
247 views

Uniformly continuous functions and Borel hierarchy in the compact-open topology

Let $\Omega\subset\mathbb{R}^n$ be open, $\mathscr{C}(\Omega,\mathbb{R})$ the Fréchet space of real-valued continuous functions on $\Omega$ endowed with the compact-open topology, and $\mathscr{C}_u(\...
1
vote
1answer
99 views

Is there a way to solve this integral equation?

I have ran into the following integral equation as part of my phd research project, trying to enforce a boundary condition of a parabolic pde problem. For $\xi = (\alpha\theta)^{1/\alpha}$ and for ...
3
votes
0answers
175 views

Modified Jacobi’s theta function

Be $t\in\mathbb{R}_0^+$. Jacobi’s theta function is $$\Theta(t):=\sum\limits_{k=-\infty}^{+\infty} e^{-\pi k^2 t}$$ with $$\Theta(\frac{1}{t})=\sqrt{t}\Theta(t)$$ Therefore $$\sum\limits_{k=1}^\infty ...
17
votes
3answers
2k views

Analysis from a categorical perspective

I have not studied category theory in extreme depth, so perhaps this question is a little naive, but I have always wondered if analysis could be taught naturally using categories. I ask this because ...
5
votes
0answers
66 views

Rate of convergence of Riemann sum of quasi-regular functions

The following result is well-known (I consider the 3-dimensional case only): Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then $$ \left| \int_{\mathbb{R}^3} f - \...
2
votes
1answer
93 views

Smooth dependence on the initial condition of the integral of an ODE

I am considering an ODE $\dot{x}=f(x)$, with $x\in\mathbb{R}^d$ and $d<\infty$. $f$ is a $C^k$ function and I denote by $\Phi_t x$ be the value of the solution at time $t$. I assume that my ODE ...
0
votes
0answers
24 views

diffusion and potentials in several dimensions

In a Lagrangian field theory there are conserved quantities, like total energy. This allows geometric arguments to be made about the behaviour of a system with known potential. (E.g. on asymptotic ...
29
votes
3answers
3k views

What is the standard notation for a multiplicative integral?

If $f: [a,b] \to V$ is a (nice) function taking values in a vector space, one can define the definite integral $\int_a^b f(t)\ dt \in V$ as the limit of Riemann sums $\sum_{i=1}^n f(t_i^*) dt_i$, or ...
2
votes
1answer
179 views

Is there a matrix that converts the gradient of every possible function to gradient of other function?

I have already asked this question on math.stackexchange.com http://math.stackexchange.com/questions/1789476/is-there-a-matrix-that-converts-the-gradient-of-any-function-to-gradient-of-othe Now I ...
6
votes
1answer
214 views

Is the exponent $2$ sharp in the Balog-Szemerédi-Gowers Theorem?

The Balog-Szemerédi-Gowers theorem can be stated in the following form: let $A,B$ be subsets of $\mathbb{Z}/n\mathbb{Z}$ (say) with equal cardinality, such that $$ \|1_A*1_B\|_2 \ge K^{-1} \|1_A\|_1 \|...
2
votes
1answer
153 views

Ramanujan-type sum

Could you show that $$\sum _{k=0}^{\infty } \frac{k}{e^{\frac{\pi k}{2}}+1}=\frac{7 \pi ^2+6 \left(\psi _{e^{2 \pi }}^{(1)}(1)+\psi _{e^{2 \pi }}^{(1)}\left(1-\frac{i}{2}\right)-\psi _{e^{2 \pi }}^{(...