Skip to main content

All Questions

85 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
18 votes
0 answers
439 views

An integral in Gradshteyn and Ryzhik

Section 3.248 of the 4th edition of the table of integrals by Gradshteyn and Ryzhik contains three entries. They are of elementary examples of the beta function. In the 5th edition there are two new ...
Victor Moll's user avatar
10 votes
0 answers
345 views

Is this elliptic integral identity known?

Thinking about some physical problem, I came across the following identity: $$\phi^2\Pi\left(-\phi,\frac{1}{\sqrt{2}}\right)+\phi^{-2}\Pi\left(\phi^{-1},\frac{1}{\sqrt{2}}\right)=\frac{\pi}{\sqrt{2}}+...
Zurab Silagadze's user avatar
10 votes
0 answers
245 views

A slightly generalized existence and uniqueness theorem for integral equations (reference request)

I want to use the following statement without including the proof, which is completely straightforward but rather tedious: Let $G_0:\mathbb R\times\mathbb R^m\to\mathbb R^m$, $\Theta_0:\mathbb R\...
fedja's user avatar
  • 61.9k
7 votes
0 answers
356 views

Is this proof of Basel identity known?

Today, to divert myself, I tried to find a new proof of Basel identity $\boxed{\sum_{j=1}^\infty\frac{1}{j^2}=\frac{\pi^2}{6}}$. I came up with the following, which essentially interprets the identity ...
Mizar's user avatar
  • 3,146
6 votes
0 answers
227 views

Origins of the generalized shift operator exp(t*g(z)d/dz)

Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves ...
Tom Copeland's user avatar
  • 10.5k
6 votes
0 answers
200 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 ...
harlekin's user avatar
  • 313
6 votes
0 answers
373 views

Paper by Y. Amice

Can anybody help me find the following: Y. Amice, Duals, Proceedings of a Conference on p-adic Analysis, Nijmegan (1978), 1-15, Math. Institut Katholische Univ. , 1978
waller's user avatar
  • 61
5 votes
0 answers
109 views

Asymptotics in the Chebyshev-type optimization problem

Let $g(x)\colon [-2,2]\to \mathbb{R}$ be a continuous function. Let $f_n(x)$ be a polynomial of degree $n$ such that $\log |f_n(x)|\leqslant ng(x)$ for all $x\in [-2,2]$. Then the maximal possible ...
Fedor Petrov's user avatar
5 votes
0 answers
91 views

Reference request: sufficiently smooth functions on the plane belong to the projective tensor square of $L^2$ of the line

Let $\newcommand{\ptp}{\widehat{\otimes}}\ptp$ denote the projective tensor product of Banach spaces. Some back of the envelope calcuations, using the Fourier transform and Plancherel/Parseval, ...
Yemon Choi's user avatar
  • 25.8k
5 votes
0 answers
163 views

Minimizing total variation

Let $f:\mathbb{R}\to \mathbb{R}$ be a function of bounded variation. Define $\overline{f}(x)$ by $$\overline{f}(x) = \limsup_{\mu(I)\to 0} \frac{1}{\mu(I)} \int_I f(x) dx,$$ where $I$ ranges over ...
H A Helfgott's user avatar
  • 20.2k
5 votes
0 answers
329 views

Could there be something like a Grzegorczyk hierarchy in Analysis?

My most prevalent interest in mathematics has always been hyper-operators. I first learned about them when I was in highschool, and quite frankly, they amazed and dazzled me. For those who've yet to ...
user avatar
5 votes
0 answers
136 views

Solving the difference equation in exotic scenarios

The difference equation, as referenced in the title, is a very specific object I'm referring to. If you have a holomorphic function $\phi$ on a domain $G$, then a solution $F$ to the difference ...
user avatar
5 votes
0 answers
79 views

Some questions about the Lévy monoid of certain densities

Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$. Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...
Salvo Tringali's user avatar
5 votes
0 answers
224 views

Unit eigenvalue of the linearized Poincare return map

Consider a surface $S$ and a vector field on the surface which has a closed orbit. The vector field on both sides of the closed orbit spirals towards it, which gives us that the linearized Poincare ...
user65812's user avatar
5 votes
0 answers
855 views

Extension operator for Lipschitz domain for fractional Sobolev spaces

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain, with Lipschitz smooth boundary. Then a well known result by Stein gives that there exists an extension operator $E: H^k(\Omega)\rightarrow H^k(\...
alext87's user avatar
  • 3,217
4 votes
0 answers
233 views

References for derivative w.r.t. initial condition of an ODE

Let $b:\mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ be measurable such that for all $n \in \mathbb N$ we have $$ \sup_{t \ge 0} |b(t, 0)| + \sup_{t \ge 0} \sup_{x \in \mathbb R^d} |\nabla^n_x b (t, ...
Akira's user avatar
  • 835
4 votes
0 answers
802 views

Reproducing kernel Hilbert space of Matérn kernels

I am trying to read a recent paper titled "Interpolation and learning with scale dependent kernels" by Pagliana, Ruidi, De Vito, and Rosasco. (The paper can be found on ArXiv) On the top of ...
seeker_after_truth's user avatar
4 votes
0 answers
84 views

Elementary functions (growing faster than exponential ones) with elementary Legendre–Fenchel transforms

Let $F$ be the set of all convex functions $f\colon[0,\infty)\to[0,\infty)$ with $f(0)=0=f'_+(0)$ and $f_+(\infty-)=\infty$, where $f'_+$ is the right derivative of $f$. For any function $f\in F$, its ...
Iosif Pinelis's user avatar
4 votes
0 answers
126 views

Relationship between three different definitions of solutions for ODE with irregular coefficient

What is the difference between the notions of Regular Lagrangian flow Filippov solution Caratheodory solution of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
Riku's user avatar
  • 839
4 votes
0 answers
672 views

Proofs of the second fundamental theorem of calculus

I am referring to the following version of the theorem, in the setting of the Lebesgue integral. Theorem Let $f: [a,b] \rightarrow \bf R$ be an everywhere differentiable function whose derivative is ...
coudy's user avatar
  • 18.7k
4 votes
0 answers
122 views

Complex L^1 spaces; reference request

I have been doing a fair amount of research into a complex analytic modified version of the Mellin transform. I have hit a few roadblocks, and am hoping there may already be literature on the subject. ...
user avatar
4 votes
0 answers
162 views

Question about density of $C^{\infty}(M,N)$ in $W^{1,p}(M,N)$ with $N$ not compact

Hi! Let $M$ be a compact manifold possibly with boundary with $\dim(M)=m$, let $N$ be a non compact manifold with $\dim(N)=n$. Let me recall the definition of the sobolev space $W^{1,p}(M,N)$. ...
Italo's user avatar
  • 1,727
3 votes
0 answers
163 views

Number of positive roots for an exponential sum

Given $n\geq 3$ distinct constants $c_1, c_2, ..., c_n \in\mathbb{C}$, I want to bound/estimate the number of positive real roots for the equation $$f(x):=\sum_{i=1}^{n}\dfrac{c_i^n}{\prod_{j\neq i}(...
Abhishek Halder's user avatar
3 votes
0 answers
141 views

Direct analytic proof of positive definiteness of stable characteristic functions

Is there a direct analytic proof that the function $$ f ( t ) = \exp\left(-|t|^\alpha \big[ \lambda + i \theta \operatorname{sign} ( t ) \big]\right), \qquad \lambda > 0, \quad |\theta| < \...
tsnao's user avatar
  • 620
3 votes
0 answers
101 views

A special type of differential equations

Working in optimal control of PDEs, I came across a type of evolution problem that has instead of an initial condition a link between the initial state and the final state. Here is a simplified ...
Bogdan's user avatar
  • 1,759
3 votes
0 answers
93 views

reciprocal spherical harmonic expansion

Let $f$ be a spherical function in $L^2(S^2)$ with spherical harmonic expansion $$f = \sum_{lm} f_{lm} \, Y_{lm} \;.$$ The function $g = 1/f$ is a spherical function. Assuming $g \in L^2(S^2)$, what ...
user avatar
3 votes
1 answer
488 views

Strict inequality in decoupling inequality

I am working on the decoupling inequality developed by Bourgain and Demeter: https://arxiv.org/abs/1604.06032. Is there an example where we have strict inequality in Theorem 1.1, say in the case $n=2$ ...
Thomas Yang's user avatar
3 votes
0 answers
159 views

Upper bound on the geodesic distance in a Lipschitz domain

I was wondering if the following result is true. If yes, could you please suggest a reference. The result seems to have been used at several papers without quoting any reference. Is the proof ...
Tatin's user avatar
  • 895
3 votes
0 answers
141 views

Partially BV vector fields and renormalization

Why does the approach used to prove Theorem 4.1 in the paper by Le Bris and Lions on Renormalized solutions of some transport equations with partially $W^{1,1}$ velocities and applications not work ...
user avatar
3 votes
0 answers
55 views

system of Euler like ode's

I am interested in solving some linear elliptic system like $$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$ $$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
Math604's user avatar
  • 1,385
3 votes
0 answers
203 views

Identity for the product of two different associated Legendre polynomials

In the answer to Clausen’s identity for associated Legendre polynomials the following result was indicated: $$ \small{\left(P_n^m(\cos\theta)\right)^2=(\sin{\theta})^{2m}\frac{(m+n)!}{(n-m)!}\sum_{k=0}...
Zurab Silagadze's user avatar
3 votes
0 answers
111 views

When does the constant term in the following expansion is nonzero?

Dyson's Theorem The constant term in the expansion of $$\prod_{1\leq i\neq j\leq n}\left(1-\frac{x_i}{x_j}\right)^{a_i}$$ is the multinomial coefficient $$\frac{(a_1+\cdots+a_n)!}{a_1!\cdots a_n!},$$ ...
user173856's user avatar
  • 1,997
3 votes
0 answers
113 views

the topological equivalence of linear autonomous system

N. Ladis and Kuiper gave the classification of the topological equivalence of linear autonomous system. More precisely, they proved if two linear autonomous system $\dot{X}= AX, \dot{X}= BX$ are ...
mmaatthh's user avatar
  • 799
3 votes
0 answers
373 views

An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

The Euler--MacLaurin summation formula can be written as $$ \sum_{i=0}^{n-1} f(k)\approx \int^{n-1}_0f(x)\,dx + \frac{f(n-1) + f(0)}2 + \sum_{j=1}^m\frac{B_{2j}}{(2j)!}[f^{(2j - 1)}(n-1)...
Iosif Pinelis's user avatar
3 votes
0 answers
133 views

Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals

Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii). In a joint paper that I am ...
Salvo Tringali's user avatar
3 votes
0 answers
132 views

Uniqueness of solution of elliptic equation with exponential nonlinearity

Consider the following equation $$\Delta v + p(r)e^v = 0$$ on $\mathbb{R}^n$ where $p(r)$ is a polynomial in $r = |(x_1,..., x_n)|$. I want to understand when equations like these have unique ...
gideon's user avatar
  • 31
3 votes
0 answers
146 views

Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
k3thomps's user avatar
  • 516
2 votes
1 answer
104 views

Looking for review of delay differential equations involving $f(x)$ and $f(x/k)$

A research problem unexpectedly leads me to a delay differential equation of the form $$ f(x)=\alpha(f(x),f(x/2))\,f'(x)+\beta(f(x),f(x/2))\,f'(x/2)+\gamma(f(x),f(x/2)) $$ For special cases of $\alpha,...
gmvh's user avatar
  • 3,065
2 votes
0 answers
57 views

Regularization for Newtonian n-body collisions in $\mathbb{R}^3$

In working with binary collisions in the Hamiltonian formulation of the Newtonian $n$-body problem, two common regularization techniques that deal with binary collisions are the Levi-Civita technique, ...
user12994's user avatar
2 votes
0 answers
64 views

Scaling limit of ODE with double-well potential

Let us consider the ODE $$ \frac{d}{dt}x_\epsilon(t) = -\frac{1}{\epsilon} W'(x_\epsilon(t)) $$ where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the ODE reads $$...
Riku's user avatar
  • 839
2 votes
0 answers
85 views

Multipole expansion

In Simon's book Harmonic Analysis, example 3.5.12 shows: Fix $x \in \mathbb{R}^{\nu}$ (with $\left.\nu \geq 3\right), x \neq 0$ and define $f$ on $\{y:| y|<| x |\}$ by $$ f(y)=|x-y|^{-(\nu-2)}. $$ ...
Flying ant's user avatar
2 votes
1 answer
91 views

References for Green's functions right focal boundary-value problem

Could you please give me some references for the computation of a Green's function for a second-order right focal difference equation? For this problem: \begin{gather*} \Delta^2 u(t)=f(t), \; t\in\{0,...
L_Green's user avatar
  • 27
2 votes
0 answers
2k views

Stein's book on harmonic analysis

My background : I am a Math PhD student. I will most probably work in harmonic analysis on Euclidean spaces. I am a fan of Folland's Real analysis and I have thoroughly studied first 8 chapters of ...
risefrominfinite's user avatar
2 votes
0 answers
108 views

Do you know of orthogonal-polynomial families with complex measure on the square? I'm just looking for family names to read up on

I'm looking for the name(s) of a family or families of polynomials whose normalization and orthogonality are defined by integrals (inner product) over the complex square $\{u+iv\, |\, u, v \in [-1,1]\}...
J. M.'s user avatar
  • 49
2 votes
0 answers
169 views

Functions whose Fourier coefficients satisfy $ \sum_{k=1}^\infty |c_k| < 1 $?

Let $f:(0,1) \to \mathbb R$ be a function that can be written as $$f(x) = \sum_{k=1}^\infty c_k \phi_k(x),$$ where $\phi_k(x) = \cos(\pi k x)$. What is the minimal assumption required on $f$ to ...
Riku's user avatar
  • 839
2 votes
0 answers
86 views

Eigenvalues of the operator $A = -v'' + B(x) v$

How can I prove that for the eigenvalues of the operator $$A := -v'' + B(x) v$$ on $(0,L)$ with zero Dirichlet boundary condition it holds that $$ \left| \lambda_n - \frac{\pi^2n^2}{L^2}\right| \le ||...
Lao's user avatar
  • 217
2 votes
0 answers
55 views

References for generalized confluent hypergeometric differential equation

According to Wolfram, a generalization of the confluent hypergeometric differential equation is given by: $$y''+\left(\frac{2R}{x}+2F'+p\frac{H'}{H}-H'-\frac{H''}{H'}\right) y'+\left[\left(p\frac{H'}{...
user avatar
2 votes
1 answer
317 views

Recommendation for books on boundary-value problems that include perturbed boundaries and many solved problems

I am looking for a book or resource that contains applied math analytical methods and a lot of solved problems in Boundary-Value Problems for second-order PDEs, and if it could be related to wave-...
user135626's user avatar
2 votes
0 answers
199 views

Convergence of the difference quotient of a BV function

Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$. What can be said about the difference quotient $$ \frac{u(x+\epsilon y)-u(x)}{\epsilon} $$ regarding its convergence as $\epsilon \to 0$...
Riku's user avatar
  • 839
2 votes
0 answers
165 views

Jacobian and Jacobian matrix of solutions of ODE with Sobolev vector field

Let $\Phi$ be the Lagrangian flow (defined as in page 6 of this paper) of the ODE $$\begin{cases} \frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\ \Phi(x,0) = x \quad x \in \mathbb{R}^N \end{...
user avatar