**3**

votes

**0**answers

69 views

### behaviour of first eigenfunction near the boundary

Consider $\Omega$ a smooth bounded domain in $R^N$ and suppose $ \phi_1(x)>0$ is the first eigenfunction of $ -\Delta$ in $H_0^1(\Omega)$ normalized however one chooses.
My interest is in how $ ...

**4**

votes

**1**answer

462 views

### What is the advantage of inverting elliptic integrals?

In the case of the circle I can hardly make any conclusions from the integral $(1)$, most of the theorems come from geometrical considerations. It's not clear how to prove periodicity from this ...

**2**

votes

**1**answer

591 views

### Are there such numbers?

Maybe better to ask for help on this question here: Are there eight numbers $0< x_{1},\ldots,x_{4},y_{1},\ldots,y_{4}<1$,
such that
$$
...

**-2**

votes

**3**answers

2k views

### Factorial of 3/2? [on hold]

How do you compute the factorial of something like $3/2$ or $-2$? Wolfram Alpha gives an answer, but how does it arrive at that point?

**1**

vote

**1**answer

195 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

**1**answer

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

**4**

votes

**2**answers

146 views

### Existence of a measure-preserving bijection

Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g ...

**-1**

votes

**0**answers

146 views

### Disprove this Piece of Jensen's Inquality “Black Magic”

Jensen's inequality states that if a real valued function $f(x)$ is concave, like $f(x)=\ln |x|,$ then $E(f(X))\le f(E(X)).$ A classic application of this is $E(X) \le \ln |E(e^{X})|.$
Now consider ...

**3**

votes

**1**answer

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

**6**

votes

**2**answers

1k 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 ...

**11**

votes

**1**answer

897 views

### Does this recursion preserve monotonicity? (was: A nice problem that I am unable to solve)

I have a nice problem which is related to algebra and polynomials or even operator theory. I would be very grateful if any of you could solve it. Here is the problem: Consider the function $f_0(x) ...

**4**

votes

**1**answer

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

**2**

votes

**0**answers

73 views

### Motivation for the existence of periodic solutions [closed]

I have been reading the book Critical Point Theory and Hamiltonian System by Mawhin and Willem, as well as several other papers on the existence of periodic solutions for equations of the form
...

**11**

votes

**2**answers

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

**1**

vote

**1**answer

157 views

### Is there an analytic solution for this partial differential equation?

The Fokker-Planck equation for a probability distribution $P(\theta,t)$:
\begin{align}
\frac{\partial P(\theta,t)}{\partial ...

**0**

votes

**1**answer

76 views

### methods for situations where well-posedness criteria hold but global solutions do not exist

I have been learning PDEs (more specifically, nonlinear dispersive equations (Schrödinger/wave/ Klein-Gordan equations etc...)) through the harmonic analysis methods. And I have read a couple of ...

**2**

votes

**1**answer

298 views

### Error term in formula for products of necklaces

Let us consider the $\lim_{n\to \infty}\prod_{p=1}^n N(p,a)$, where the number of fixed necklaces of length n composed of a types of beads $N(n,a)$ can be calculated via totient function: ...

**2**

votes

**1**answer

142 views

### Multivariate Maximal Hilbert Transform

One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\underset{\varepsilon>0}{\sup}\;\left|\int_{|x-t|\geq\varepsilon}\dfrac{f(t)}{x-t}dt\right|,\quad ...

**0**

votes

**0**answers

33 views

### Orthogonality relation for associated Legendre functions

The associated Legendre Polynomials $P_l^m(x)$ obey orthogonality relations for fixed $m$ and fixed $l$:
$$
\begin{align}
\int_0^\pi P_k^m(\cos\theta)P_l^m(\cos\theta)\sin\theta d\theta ...

**8**

votes

**1**answer

107 views

### Nonconventional ergodic averages for commuting transformations

Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...

**1**

vote

**0**answers

41 views

### A fundamental lemma involving a certain exponential kernel

Let $h \in L^1(\mathbb R^n, \mathbb R)$ be a scalar field and let $\Psi_t: \mathbb R^n \to \mathbb R$ be smooth mappings, parameterized by $t \in \mathbb R$.
Suppose that we are given data $$D(v,t) = ...

**14**

votes

**1**answer

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

**2**

votes

**2**answers

161 views

### “C^0 estimate for solutions to $\Delta(u)+e^{-u} \geq 0$”

Let $u: \mathbb{R}^2 \to \mathbb{R}.$ Suppose I have a solution to the equation
$$\Delta(u)+e^{-u} \geq 0$$ on $\mathbb{R}^2$. Let r be the radial coordinate on $\mathbb{R}^2$. Suppose that $$lim_{r ...

**1**

vote

**0**answers

44 views

### persistence of regularity for nonlinear Klein-Gordon equation

I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" ...

**2**

votes

**0**answers

31 views

### Global error estimates for numerical solutions of ODEs in Matlab or Mathematica [closed]

I need to find the first zero (smallest positive root) of the solution of the initial value problem
$ry''+y'+f(r)y=0, \ \ y(0)=y'(0)=1$
for certain $f \in C^{\infty}(R)$. One can easily use ...

**2**

votes

**1**answer

108 views

### Is every set of small measure contained in an open set of small measure with null boundary?

Let $\lambda( \cdot )$ denote Lebesgue measure on $[0,1]$. Let $(A_n)_{n=1}^\infty$ be a decreasing sequence of Borel subsets of $[0,1]$ such that $\bigcap_{n=1}^\infty A_n = \emptyset$. Given ...

**23**

votes

**13**answers

5k views

### Geometric imagination of differential forms

In order to explain to non-experts what a vector field is, one usually describes an assignment of an arrow to each point of space. And this works quite well also when moving to manifolds, where a ...

**5**

votes

**1**answer

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

**6**

votes

**2**answers

357 views

### Texts about Dwork's work

I want to ask about references to papers, that probably exist, which explain the articles of Bernard Dwork starting from "The rationality of the zeta function of an algebraic variety" to "On the ...

**0**

votes

**0**answers

48 views

### What can we say about variational energies here?

Let $V_{ij}^{lk}$ be any $nm \times nm$ real symmetric matrix, $\forall i,j,k,l$
\begin{equation}
V_{ij}^{kl}=V_{ji}^{lk}
\end{equation}
(So for the indices we have $1 \leq k,l \leq m$ and $1 \leq i,j ...

**2**

votes

**0**answers

69 views

### Oscillation aspects of two-way infinite alternating series (a followup from the MO-question “functions that eventually oscillate”)

In the recent question on "eventually oscillating function" I had a heuristic for the function $d(x)$ that its amplitude is constant, but could not further describe that function. I just found a ...

**40**

votes

**20**answers

10k views

### Interesting Calculus Questions/Exercises

I am in the process of redesigning the calculus course that I have taught five or six times. What I would like to know is if anyone has some really good examples or exercises that I could either do ...

**4**

votes

**0**answers

111 views

### Interesting triple integral

Some time ago I stumbled on an alleged identity
$$\int\limits_0^\infty \frac{dx}{x} \int\limits_0^x \frac{dy}{y}
\int\limits_0^y \frac{dz}{z} [\sin{x}+\sin{(x-y)}-\sin{(x-z)}-\sin{(x-y+z)}]=
...

**0**

votes

**0**answers

102 views

### Solving the transcendental equation $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$

I need to solve the following equation:
$Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$
for $x\in\mathbb{R}^{\ast}$ and where $k\in\mathbb{R}^{+}$. Here $Li_{3}$ and $Li_{2}$ are the third and ...

**5**

votes

**0**answers

94 views

### Hyperbolic toral automorphisms, and maximizing over orbits the minimum along an orbit of a function

Setup:
Let $\phi\colon T^2 \to T^2$ be a hyperbolic toral automorphism. Let $f\colon T^2 \to \mathbb{R}$ be a continuous function.
For $x \in T^2$, let $\underline{f}(x) = \inf_{n \in \mathbb{Z}} ...

**4**

votes

**1**answer

79 views

### Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'

Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...

**3**

votes

**2**answers

300 views

### Summing cosines

Suppose I want to compute $$\sum_{n=1}^\infty \cos(n x)/n^{2k}.$$ Now, For any fixed $k$ this is, at least in principle, doable (see the excellent answer to my math.SE question a while back), but the ...

**1**

vote

**1**answer

41 views

### Generating function for products of laguerre polynomials?

In a quantum physics context, I would like to evaluate $S=\sum_{n=0}^\infty z^n\cos(\pi L_n(x))$ for $z<1$. I found generating functions for squares of Laguerre polynomials but not for any higher ...

**0**

votes

**0**answers

82 views

### Positive curvature of the boundary away from a point implies regularity?

In a paper I'm refereeing, the authors make use of the following geometric fact:
Let $U$ be an open subset of $\mathbb{R}^2$. If there is a point $p\in \partial U$ so that $\partial U \backslash p$ ...

**3**

votes

**1**answer

305 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$ ...

**10**

votes

**19**answers

19k 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

**2**answers

339 views

### More recently published comprehensive reference on inequalities in the spirit of Hardy-Littlewood-Pólya

Is there a comprehensive reference book on inequalities in the
spirit of the one written by G.H. Hardy, J.E. Littlewood, and G. Pólya(*), but more up-to-date (i.e., published in more recent years and ...

**0**

votes

**1**answer

113 views

### Equality cannot hold unless $x \in \{-1,1\}$ and/or Wronskian is not zero [closed]

By playing around with assoc. Legendre polynomials, I arrived at
$$((l+1)+m) (P_l^m(x))^2+((l+1)-m)(P_{l+1}^m(x))^2 = 2(l+1)x P_l^m(x)P_{l+1}^m(x).$$
Now, I want to show that we don't have equality ...

**34**

votes

**6**answers

2k views

### On an example of an eventually oscillating function

For $x\in(0,1)$, put
$$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$
This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...

**3**

votes

**3**answers

712 views

### Does the “continuous locus” of a function have any nice properties?

Suppose f:R→R is a function. Let S={x∈R|f is continuous at x}. Does S have any nice properties?
Here are some observations about what S could be:
S can be any closed set. For a closed set ...

**4**

votes

**1**answer

119 views

### Symmetric inequality on generalized means

Do there exist two functions $f$ and $g$ continuous and strictly increasing $[0,1] \to \mathbf{R}$ such that
$$ f^{-1}\left(\frac{1}{3} f(x) + \frac{2}{3} f(y)\right)<g^{-1}\left(\frac{1}{3} g(x) + ...

**2**

votes

**0**answers

61 views

### Global existence for infinite dimensional ODE

Let us consider the ODE $\hskip3pt \dot x=F(t,x)\hskip3pt $ in an infinite-dimensional Banach space $E$, where the flux $F$ is defined and continous from the whole $\mathbb R\times E$ into $E$.
...

**2**

votes

**0**answers

37 views

### Trigonometric multiple integral identity

How this alleged multiple integral identity can be proved?
$$\int\limits_{-\infty }^{\infty }ds_{1}\int\limits_{-\infty}^{s_{1}}ds_{2}\cdots \int\limits_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {
...

**2**

votes

**0**answers

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

**4**

votes

**1**answer

110 views

### Infinite dimensional Cauchy-Lipschitz theorem [duplicate]

From the answers to Mathoverflow Question "Continuity in Banach space for non-linear maps", it is possible to infer that the assumption of the Cauchy-Lipschitz theorem for the autonomous equation
$$
...