**2**

votes

**2**answers

161 views

### Ewald's generalized theta function

Could anyone provide me some materials on the derivation of Ewald's generalized theta function (in English)? The original paper was written in German :-(
Die Berechnung optischer und ...

**0**

votes

**1**answer

73 views

### An inequality involving multi-index

I came across these inequalities while learning about Schwartz functions (Classical Fourier Analysis, Grafakos) and I have no idea how to prove this:
For $x \in \mathbb{R}^{n}$ and $\alpha = ...

**7**

votes

**1**answer

264 views

### Kakeya and Nikodym maximal functions

I've been working through part of Terry Tao's 1999 article "The Bochner-Riesz Conjecture Implies the Restriction Conjecture." (It appeared in the Duke Mathematical Journal.) A little more ...

**20**

votes

**3**answers

434 views

### In what ways is the standard Fourier basis optimal?

Is there any convincing sense in which the standard trigonometric basis for
the space $V$ of square-integrable real-valued functions on $[-\pi,\pi]$ is
optimal among all the orthonormal bases?
(If ...

**1**

vote

**0**answers

82 views

### Problem reduced to analyzing solutions of a family of nonlinear systems of equations

I was able to reduce a research problem relating to normal numbers to analyzing the solutions of the following family of nonlinear systems of equations:
\begin{align*}
c_0+c_1+\cdots+c_{t-1}&=2t\\
...

**6**

votes

**0**answers

149 views

### Spectral theory for Dirac Laplacian on a funnel

I would like to study the spectral theory of the Dirac Laplacian on a non-compact quotient of the hyperbolic plane by a discrete group (I am particularly interested in the simple case where the ...

**4**

votes

**1**answer

290 views

### On the convergence of the the function series $\sum_{n=0}^\infty(-1)^n\frac{f^{(n)}(x)}{n!}x^n$

Let $f$ be a smooth real function defined around origin. If we
informally differentiate from the series
$\hat{f}(x):=\sum_{n=0}^\infty(-1)^n\frac{f^{(n)}(x)}{n!}x^n$ term
by term we get ...

**2**

votes

**1**answer

158 views

### Roots of the XXZ Bethe Ansatz equation

The XXZ spin chain Bethe Ansatz equations are a complicated system of rational function equation:
\[ \left(\frac{\lambda_j + i/2}{\lambda_j - i/2} \right)^N = \prod_{l=1, l \neq j}^M ...

**10**

votes

**3**answers

543 views

### Calculus Teaching: Is it possible or desirable to give a severely abbreviated treatment of series convergence tests?

I will be teaching Calculus 2 this fall at a large U.S. state university. Our incoming students tend to have a limited or inconsistent background, which limits the amount of material we can cover.
...

**1**

vote

**1**answer

118 views

### Where find proof of such theorem about uniform convergence of differences

Where to find a proof of theorem which says that:
if a funcion $f: \mathbb R \rightarrow \mathbb R$ is bounded on a set of positive Lebesque measure or on the set of second category with Baire propert ...

**2**

votes

**0**answers

150 views

### Differential Equations vs Difference Equations

My question is:
Is there a duality between a solution of an ODE,PDE,SDE or integral equations with their analog counterpart in the discrete domain?
I mean if I know a solution to the difference ...

**0**

votes

**1**answer

109 views

### The solvability of a Hölder ODE [closed]

The problem is follow, I want to know weather there is a function $u\in \text{C}^{0}\left((-1,1)\right)$ but not $\text{C}^1((-1,1))$, such that $\lim\limits_{h\rightarrow ...

**2**

votes

**0**answers

117 views

### A microlocal representation for quantum operator dynamics

In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...

**6**

votes

**1**answer

198 views

### Laurent expansion of inverse of vandermonde determinant

I wish to find the coefficients of the Laurent expansion of the inverse of the Vandermonde determinant, that is, the Laurent expansion at 0 of
$$\prod_{1\leq i<j \leq n}(x_j-x_i)^{-1}.$$
We can ...

**4**

votes

**0**answers

128 views

### semiclassical proof of Wigner semicircle

In Terence Tao's discussion of the Gaussian Unitary Ensemble, he derives the Dyson and Airy kernels. The GUE is the probability distribution of the eigenvalues of a random Hermitian matrix.
\[ \int ...

**11**

votes

**1**answer

304 views

### Is there something wrong with Hörmander's theorem on stationary phase method

It is well-know that the Bessel function has the asymptotic expansion $J_n(\omega) \sim \left( \frac 2 {\pi \omega} \right)^{1/2} \left( \cos \left(\omega -\frac 1 2 n \pi - \frac 1 4 \pi\right) - ...

**4**

votes

**0**answers

128 views

### Integrate the exponential of sum of circular differences?

Given positive integer $N$ and parameters $T>0$, $a$, $b$, what is
$\int_{t_1=0}^T \cdots \int_{t_N=0}^T e^{a(t_1+\cdots+t_N)+b(|t_1-t_2|+\cdots+|t_{i-1}-t_i|+|t_N-t_1|)} dt_1 \cdots dt_N$ ?
Any ...

**2**

votes

**1**answer

147 views

### Interpolating delta like functions by trigonometric polynomials of bounded modulus and fast decay

Consider a grid of points $T=\{t_0,t_1,\ldots,t_m\}$ with $0\le t_i\le 1$. I would like to find a function $f(t):[0,1]\rightarrow \mathbb{C}$ of the form
\begin{equation*}
f(t)=\sum_{k=-n}^n c_k ...

**2**

votes

**1**answer

213 views

### bounding the absolute value of a trigonometric polynomial

Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
...

**1**

vote

**0**answers

82 views

### Conditions on a measure to satisfy certain relation on moments.

Suppose we have a measure $\mu$ on $\mathbb R_+$ such that $\forall s>-1$ $t^s\in L^1(\mathrm d\mu(t))$.
I'd like to impose some conditions on $\mu$ so the function
$$f:p\to \frac{\int_0^\infty ...

**3**

votes

**2**answers

776 views

### Monotone functions are measurable

Hello there,
This is probably very easy but I can't find an argument.
Call a function $f: R^n \to R$ monotone increasing if $x_i \le y_i$ for each $1 \le i \le n$ implies $f(x) \le f(y)$.
I'd like ...

**0**

votes

**1**answer

177 views

### Can any compactly supported continuous function be written as a linear combination of functions with small support

Does anyone have a reference for the following result? I am pretty sure that it is true, and should not be hard to prove, but i would surprise me if it is not already proven in many places:
Let ...

**3**

votes

**0**answers

199 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 ...

**1**

vote

**2**answers

396 views

### Hessian of function of covariance matrices

Suppose we have a typical logdet function $\mathcal{L}$ with respect to a covariance matrix $\mathbf{A}$,
$$
\mathcal{L}(\mathbf{A}) = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - ...

**2**

votes

**1**answer

401 views

### Existence of Geodesics in continuous metrics

I learned that if we are given a $C^0$ Riemannian metric on a smooth manifold $M$, geodesics (i.e. length minimizing curves) are absolutely continuous, and if the metrics is $C^{0,\alpha}$, then the ...

**10**

votes

**4**answers

712 views

### Calculus book in the spirit of the 18th century

I have been reading a lovely 18th century book by John Rowe called An Introduction to the Doctrine of Fluxions. It presents calculus completely motivated by geometric questions - finding tangents to ...

**8**

votes

**0**answers

142 views

### Inertia group vs. differential equations

The tame quotient of the inertia group of $\mathbf Q_p$, say, is the profinite group generated by the Frobenius $\sigma$ and the monodromy $\tau$, subject to the relation $\tau^{p-1} [\tau, \sigma] = ...

**2**

votes

**0**answers

140 views

### Fourier : from analyticity to exponential decay ; what prevents optimal decay ?

Hello everyone !
In Fourier Analysis, Self-Adjointness by Reed and Simon (Methods of Modern Mathematical Physics, Vol. 2), Theorem IX.14 tells us that (I'll take dimension 1 for simplicity) :
if ...

**1**

vote

**2**answers

184 views

### An almost orthogonality principle for L^p

I recently asked this question on Math StackExchange and someone suggested that it would probably be more suited for Math Overflow. Since it still has not been answered, here it goes:
If two ...

**5**

votes

**3**answers

711 views

### On the continuity of $\sum_{n=1}^{\infty} sin(nx) / n^\alpha$

I know that the series $\sum_{n=1}^\infty \sin(nx) / n^\alpha$, with $0 < \alpha < 1$, converges for $x \in [0,2\pi]$.
I'm trying to understand if the function $f(x) = \sum_{n=1}^\infty ...

**2**

votes

**1**answer

190 views

### First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...

**2**

votes

**2**answers

202 views

### “Then obviously…” (a bound on strongly differential functions on an interval)

On the fourth page of their 1967 paper Local Behavior of Solutions of Quasilinear Parabolic Equations, Aaronson and Serrin comment: "Consider a strongly differentiable function $w$ of the real ...

**1**

vote

**1**answer

174 views

### Convergence of a sum to the integral

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a 1-periodic function. I am looking about the conditions on $(a,b)\in\mathbb{R}^2$ such that we have the property :
...

**2**

votes

**1**answer

124 views

### Find a continuous function with a prescribed continuity set

It's known that for a function $f:\mathbb{R} \rightarrow \mathbb{R}$ the set of points of discontinuity must be an $F_{\sigma}$.
In the book "Understanding Analysis" by Abbott is stated in page 128 ...

**2**

votes

**1**answer

119 views

### determining sign of function containing logarithm.

I would like to know the sign of the following term in general. I tried approximation for $\log$ function and it had negative sign. Is there any $m_0$ such that for all $n>m>m_0$, the following ...

**3**

votes

**2**answers

181 views

### Elliptic Harnack inequality for 1D Schrodinger operator?

For a nonnegative polynomial $V: \mathbb{R} \to \mathbb{R}$, write $H = -\Delta + V$. I am wondering if there is an elliptic Harnack inequality for H. That is:
There exist $C_{H} > 0$ and ...

**10**

votes

**1**answer

177 views

### An elementary expression for $_3F_2(1,1,9/4;2,2;-1)$

Consider the following series:
$$S=\sum_{n=1}^\infty\frac{(-1)^n\ \Gamma\left(\frac{5}{4}+n\right)}{n^2\ \Gamma(n)}.$$
It can be expressed in terms of a hypergeometric function:
...

**1**

vote

**1**answer

95 views

### Estimate the scale of the power series with Poisson pdf/pmf-like terms

I would like to have an estimate for the series
$$P(t) = \sum\limits_{k = 0}^\infty (e^{-t}\frac{t^k}{k!})^m,$$
where $e$ is the base of natural logarithm, $k!$ is the factorial of the integer $k$, ...

**4**

votes

**2**answers

253 views

### Bruhat-Schwartz functions and derivatives in p-adic numbers

First of all, I am not an expert in neither classical, nor $p$-adic functional analysis, but anyway, I stumbled over the following lately:
Let $\varphi:\mathbb{Q}_p\rightarrow\mathbb{C}$.
...

**13**

votes

**2**answers

603 views

### Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers?

Is it possible to generalize functions like $x^y, \ln x, \sin x, \arctan x$ to surreal numbers or surcomplex numbers? Which of their properties and relations (e.g. usual trig identities) will still ...

**0**

votes

**3**answers

102 views

### Does this ODE system have solution?

Let $A(t)$ and $B(t)$ be matrices with each element in $L^\infty(0,T).$ Let $A(t)$ have an inverse. I know nothing else about this inverse.
Let $c(t)$ be a vector in $L^2(0,T).$
Let $u(t) \in ...

**43**

votes

**7**answers

2k views

### How closed-form conjectures are made?

Recently I posted a conjecture at Math.SE:
$$\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx\stackrel{?}{=}\frac{\pi}{2}(\mu^2-\nu^2),$$
where $J_\mu(x)$ and $Y_\mu(x)$ ...

**0**

votes

**3**answers

231 views

### Approximating higher dimension step function

Let $s \in R^{n}$ (meaning $s$ is $n \times 1$ vector), where $n$ is the dimension of the vector. The ideal sliding term, $\nu$ is taken to be:
\begin{equation}
\nu = \frac{s}{\|s\|}
...

**13**

votes

**1**answer

310 views

### Is this combination of generalized polygamma and dilogarithm actually zero? $\Im\;\psi^{(-2)}(1+i)+\frac1{4\pi}\text{Li}_2(e^{-2\pi})-\log\sqrt{2\pi}+\frac{5\pi}{24}+\frac12$

I encountered this quantity in my calculations and tried to simplify it. Approximate numeric calculations suggested it could be zero (more precisely, it is certainly less than $10^{-4\times10^3}$ in ...

**1**

vote

**1**answer

414 views

### New differintegral formula: how is it related to other differintegral formulas?

Lets define new differintegral formula as
$$\mathbb{D}^s_xf(x)= \sum_{m=0}^{\infty} \binom {s}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
or, equivalently,
$$\mathbb{D}^s_xf(x)= \lim_{t\to s} ...

**3**

votes

**0**answers

196 views

### Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold

I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...

**1**

vote

**0**answers

90 views

### Fundamental solutions for degenerate elliptic equations

Hello,
I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elliptic equations $L = ...

**1**

vote

**1**answer

125 views

### Generalisations of the Gronwall's lemma

Suppose we have the following differential inequality
$F''(w)\le \frac{p-1}{p}\frac{(F'(w))^2}{F(w)}$ on $w\in(w_0,w_0+\varepsilon)$, $w_0>0$, $\varepsilon>0$, $p>1$. In addition, ...

**5**

votes

**3**answers

558 views

### Principal value of integral

What is the principal value of the integral $$\int \limits _0^\infty \left( \frac {1}{x^2}-\frac{\cot(x)}{x} \right) dx ?$$ Maple finds $PV \int_0^\infty \tan(x)/x dx = \pi/2.$ Such integrals arise ...

**7**

votes

**1**answer

241 views

### Continuous dependence of the expectation of a r.v. on the probability measure

$\newcommand{\bsV}{\boldsymbol{V}}$ $\newcommand{\bsE}{\boldsymbol{E}}$ $\newcommand{\bR}{\mathbb{R}}$ Suppose that $\bsV$ is an $N$-dimensional real Euclidean space. Denote by ...