**5**

votes

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**4**answers

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

**0**answers

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

**0**answers

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

**6**answers

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

**0**answers

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

**7**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**3**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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 }}^{(...