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

learn more… | top users | synonyms (2)

2
votes
1answer
62 views

Limiting Ratio of Solutions to Ordinary Differential Equations [on hold]

I'm trying to find the limit of the ratio of two functions $ \lim_{t \rightarrow \infty} \frac{f(t)}{g(t)} $ but only have the initial conditions and the differential equations they solve, but the ...
0
votes
1answer
141 views

What is the limit of the derivative of the harmonic extension/Dirichlet solution in $C^{1,\alpha}$ cases?

Let $f:\mathbb{S}^1 \to \mathbb{S}^1$ be an orientation-preserving homeomorphism. Denote by $H(f)$ the complex harmonic extension/solution in $\mathbb{D}$ to the Dirichlet problem with boundary data ...
9
votes
2answers
400 views

Surjectivity of curl

Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that $$ \int_{\mathbb R^3} v(x) dx=0. $$ Is it true that there exists a ...
0
votes
0answers
28 views

Upper bound a function

The problem is of finding the maximum of the following function (in terms of i) $\ f_i = \frac{(2m-i) \cdot i}{2 b} \ln(b) - \tfrac{1}{2} i \ln(i) +O(i) $ providing $\ 0<b \leq m, 0<i \leq m ...
5
votes
1answer
395 views

Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...
1
vote
0answers
152 views
+50

Killing vector fields on sphere and nodal sets

Let $u$ be a smooth function on $S^2$ such that $\int_{S^2} ux_j =0$, for $j=1,2,3$. Does there exist a killing vector field $V$ on $S^2$ such that the nodal line of $\varphi=V(u)$ ($\{x\in S^2: ...
16
votes
7answers
1k views

Extensional theorems mostly used intensionally

Some theorems are stated and proved extensionally, but in practice are almost always used intensionally. Let me give an example to make this clear -- integration by parts: $$ \int_a^b f(x)g'(x)ds = ...
0
votes
0answers
62 views

Shifting a function with non-simple root creates complex roots [closed]

Hello friendly people, I have seen a vague statement in an article that i couldn't prove: that if a function has a root with multiplicity greater than 1, by shifting the function (adding a small ...
0
votes
0answers
280 views

What is the Fourier transform of this function?

Consider the function $$ f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du. $$ It is known that $f(x_1,x_2)\in ...
1
vote
1answer
123 views

Complete solution set of a Convolutional Equation?

Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best.. Setup: In what ...
2
votes
1answer
192 views

All solutions to a set of integral equations

I would like a better understanding of the set of pairs $(f_1,f_2)$ of functions $[0,1] \times [0,1] \to [0,1]$ which satisfy the following conditions: For all $y \in [0,1]$, $f_1(x,y) \geq ...
1
vote
0answers
13 views

Comparing Calculation Error in Divergent Numerical Methods

I'm not an expert in numerical methods, but I'm doing a simulation based on non-linear differential equations (General Relativity), there solutions has singularities, thus at some points numerical ...
9
votes
1answer
688 views

How to rearrange only negative part of a conditionally convergent series to get any sum greater then initial?

Suppose that $\sum^\infty_{n=1} u_n = s,$ where the series converges conditionally, and $s'>s$. How to prove the existence of such a permutation $\sigma,$ such that 1) $u_n\geq 0 \rightarrow ...
3
votes
1answer
288 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Definition Let $E$ and $F$ be two Banach spaces together with a plain subset ...
0
votes
0answers
58 views

variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...
3
votes
1answer
436 views

The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...
0
votes
2answers
195 views

A certain sum with q by the power of binomial (n 2)

Is there a closed form to the following sum: $\sum_{n=0}^{\infty}a^nq^{n(n-1)/2}$ for all $a>0$ and $0\lt q\lt 1$ ?
3
votes
1answer
274 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$ ...
8
votes
1answer
383 views

Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth. Here is a ...
-3
votes
0answers
30 views

Integration of $\int_{-\infty}^{\infty}\frac{\cos x}{a^2+x^2}dx$ [migrated]

I'm trying to find the integral $$\int_{-\infty}^{\infty}\frac{\cos x}{a^2+x^2}dx$$ Wolfram alpha says this is $$\frac{\pi\exp(-a)}{a}$$ But how do you get this result? I tried using partial ...
4
votes
1answer
411 views

Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
9
votes
2answers
344 views

On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation ...
19
votes
3answers
630 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 ...
0
votes
0answers
54 views

Alternative definition of the Lagrange Inversion formula

While reading this paper, the author provides an alternative definition of the Lagrange inversion formula. Call me crazy, but my intuition tells me that there's something wrong with his derivation. ...
4
votes
0answers
88 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 ...
73
votes
0answers
5k views

Dropping three bodies

Consider the usual three-body problem with Newtonian $1/r^2$ force between masses. Let the three masses start off at rest, and not collinear. Then they will become collinear a finite time ...
1
vote
1answer
131 views

Another type of derivative, and the associated primitive

Let $\mathbf{v}:(a,b)\to\mathbb{R}^2$ be a continuous function, such that $||\mathbf{v}(t)||=1,\ \forall t\in (a,b)$. Find all continuous functions $\mathbf{r}:(a,b)\to\mathbb{R}^2$ so that: $ ...
1
vote
1answer
149 views

Generalization of the triple tangent identity

It is well known that if $x + y + z = \pi$ then $$\tan x \times \tan y \times \tan z = \tan x+ \tan +\tan z.$$ I came across the following generalization of this equality: $$\sqrt{1-k^2} {\rm ...
3
votes
1answer
404 views

Do upper-semicontinuous polyhedral multifunctions have Lipschitz continuous selections?

We are interested in the following question (definitions and references are given below): Main Question: Given an upper-semicontinuous polyhedral multifunction $F:R^n \rightarrow R^m$, is there ...
12
votes
1answer
342 views

Lower-Hölder embeddings of the sphere

My question is very simple: Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that $$ |f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r, $$ for ...
12
votes
2answers
350 views

Simultaneous zero set of two equations in $\mathbb R^3$

Can we have positive reals $x,y,z$ with $$ x^{\left( y^z \right)} = y^{\left( z^x \right)} = z^{\left( x^y \right)} $$ in cyclic permutation, other than the line $x=y=z$? I put this at ...
5
votes
0answers
116 views

Derivative of Wronskian

In the proof of Theorem 2 in this paper here on arxiv on page 10 for $k=2$ it is claimed that if the Wronskian of two solutions $y_1,y_2$ to the differential equation $$-y''_i(x) + q(x) y_i(x) = ...
3
votes
1answer
161 views

Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has $$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$ where $\Delta$ ...
15
votes
3answers
3k views

Why is $ \frac{\pi^2}{12}=\ln(2)$ not true?

This question may sound ridiculous at first sight, but let me please show you all how I arrived at the aforementioned 'identity'. Let us begin with (one of the many) equalities established by Euler: ...
63
votes
9answers
13k views

How to solve f(f(x)) = cos(x) ?

I found the following interesting equation on some web page I cannot remember: $f(f(x))=\cos(x)$ Out of curiosity I tried to solve it, but realized that I do not have a clue how to approach such an ...
5
votes
1answer
160 views

Survey paper on isoperimetry

I am searching for a comprehensive survey article (or more different articles) on the subject of isoperimetric problems from ancient Greece to modern mathematical physics. Could you point out some ...
12
votes
1answer
600 views

A generalization of intermediate value theorem on R^k

Let $f:[0,1]\to\mathbb R^k$ be a continuous function with $f(1) = \overrightarrow 0$. Is it true that there always exist $k$ points $0 \le a_1 \le a_2 \le \ldots \le a_k \le 1$ such that $\sum_{i=1}^k ...
2
votes
1answer
379 views

A proof from Lang's undergraduate analysis

This is from P.580 of Serge Lang's undergraduate analysis (2nd edition). $\textbf {Proposition 2.3.}$ Let $A$ be an admissible set in $\mathbb R^n$ and assume that its closure $\bar{A}$ is contained ...
-9
votes
1answer
173 views

Do the mathematicians really know the exact values of what usually called “indeterminate forms”? [closed]

First of all I would point out that exact value of a function and the limit of the function in that point do not necessarily coincide. For instance, it is often assumed that $0^0=1$ even though the ...
1
vote
0answers
261 views

Is evaluating limits with dual numbers sound?

Let $D$ be the ring $\mathbb{C}[\epsilon]/\langle \epsilon^2\rangle$. Define the functions $dual : \mathbb{C} \to D$ and $stdPart : D \to \mathbb{C}$ by $dual(x) := x+0\cdot \epsilon$ and ...
6
votes
1answer
129 views

Oscillatory integrals of algebraic functions

Consider an algebraic function $\phi$ on $R^{d}$. By this I mean that there exists a polynomial $P$ with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!) such that $P(\phi) = 0$ Let ...
7
votes
1answer
243 views

A conjecture about the measure estimates of a trigonometric polynomial

Formulation of the Conjecture Let $\Omega =(0,\pi)\times (0,2\pi)\subset\mathbb R^2$ and let $\psi:\Omega\to \mathbb{R}$ defined by $$\psi(x,t)=\sum_{k\in S \,j\in S'} \sin(kx)\left( ...
10
votes
18answers
18k views

Text for an introductory Real Analysis course.

Any suggestions on a good text to use for teaching an introductory Real Analysis course? Specifically what have you found to be useful about the approach taken in specific texts?
1
vote
2answers
72 views

Finding conditions to guarantee existence of solutions to IVP [closed]

Consider the following IVP: $x'=f(t,x)$ and $x(0)=x_0$, where $x\in \mathbb{R}^n$ and $t\in \mathbb{R}$. Suppose that for all $(t,x)\in\mathbb{R}^{n+1}$, $|f(t,x)|\leq b(t) |x|^2$. In order for the ...
2
votes
2answers
223 views

Is this infinite series related to some well-known special functions?

Please allow me to resort once again to the expertise of the MathOverflow community : During research I encoutered the following infinite series : $$\sum_{n=-\infty}^{+\infty} ...
1
vote
0answers
22 views

Taking the potential of a super additive measure

In recent research of my coauthors and me, it has become necessary to consider the Riesz potential of a superadditive measure. Recall that the $s$-dimensional Riesz potential of a finite Borel ...
4
votes
0answers
260 views

Transforming a multivariable integral to make it separable

In the following I will omit requirements of smoothness, extent of domain, finiteness, etc, both to simplify the exposition and because I don't know exactly what the requirements are. Please imagine ...
1
vote
0answers
94 views

How to find a invariant surface of a diffeomorphism

Recently, I read a paper about discrete Schrödinger operator. There is a map related to trace map from $C^3$ to $C^3$ as follows: $$T(x,y,z)=(y,z,yz-x).$$ We can calculated that $T$ has the folliwng ...
0
votes
0answers
30 views

Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions Let $L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric), $a,b$ be arbitrary $n$-dimensional points, $c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
4
votes
1answer
116 views

PDEs on torus $\mathbb T$

(Hope this question is o.k. for MO) I have been learning PDE(non linear dispersive equations) techniques, mainly using harmonic analysis(kind of Strichartz estimates, estimates for unimodular ...