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

learn more… | top users | synonyms (2)

2
votes
2answers
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
1answer
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
1answer
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
3answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
2answers
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
1answer
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
4answers
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
0answers
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
0answers
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
2answers
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
2answers
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
3answers
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
7answers
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
3answers
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
1answer
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 ...