All Questions
5,848 questions
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 12.9k
4
votes
1
answer
755
views
Bounds for associated Legendre polynomials
I am trying to analyze the behaviour of the Associated Legendre polynomials $P_{n}^{m}$ on $[0,1]$. More specifically, I am trying to get upper bounds for $P_{n}^{m}$ on $[0,1]$. Bernstein's ...
- 4,713
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
1
vote
0
answers
141
views
Can this integral be solved analytically
I have an integral of the form
$$\int_{t_1}^{t_2} \frac{\sum_{i=1}^n a_i e^{b_i t}}{\sum_{i=1}^n c_i e^{d_i t}} dt$$
Where $a_i,b_i,c_i,d_i$ are $4n$ real constants, and $t_1,t_2$ are positives. Is ...
- 686
1
vote
1
answer
116
views
Examining the Hilbert transform of functions over the positive real line
$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
2
votes
2
answers
285
views
How should the "measure theoretic" Jacobians of a dynamical map be understood in Lai-Sang Young's "Recurrence Times and Rates of Mixing"
In Young's article: Recurrence Times and Rates of Mixing, she uses multiple times the notation $JF, JF^k, JF^R$ to mean the Jacobian of a dynamical map $F:\Delta\to\Delta$ w.r.t. a given reference ...
- 8,903
1
vote
0
answers
79
views
How to distinguish birth and death bifurcations?
Let $f : \mathbb{R} \to \mathbb{R}$ have a degenerate critical point at $x = 0 \, ($ie, $f(0) = f'(0) = f''(0) = 0)$.
Perturbing $f$ locally around $0$ may cause multiple scenarios:
Birth: the ...
- 111
0
votes
0
answers
103
views
Who first gave a result stronger-or-equal to this one on ODEs
After some thinking I've come to the following conclusion.
Consider the initial value problem $$\text{(P)}\begin{cases}x'(t)=f(t,x(t)),\quad t\geq t_0\\x(t_0)=x_0 \end{cases}$$ where $f:D\subset\...
- 3,065
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
- 6,351
0
votes
0
answers
80
views
Verifying the Cauchy behavior of a sequence
Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
- 85
0
votes
0
answers
71
views
Reference request for equivalent Lipschitz smoothness conditions
For an open set $Z\subseteq\mathbb{R}^n$, let $f: Z\mapsto \mathbb{R}$ be a continuously differentiable function on $Z$, and let $L>0$ be fixed. Also, suppose that (a) $f$ is nonconvex and (b) $f$ ...
2
votes
0
answers
120
views
A sequence linked to irrationality
Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by :
$$u_0 = x$$
$$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
- 4,829
2
votes
1
answer
142
views
Proving convexity of the expected logarithm of binomial distribution
I would like to prove that the following function, for an arbitrary integer $n$:
\begin{equation}
\begin{split}
f(x) & =x\cdot E \ \log(1+\text{Binomial(n,x)}) \\
& = x \cdot \sum_{k=0}^{n} \...
- 128k
0
votes
1
answer
47
views
Everywhere existence of marginals
Let $f\in L^1(\mathbb{R}^2)$ be a (joint) probability density function which satisfies $f(x,y)>0$ for all $(x,y)\in \mathbb{R^2}$.
What is a necessary and sufficient condition under which the ...
- 24.2k
6
votes
0
answers
431
views
How to prove these identities for $\log(2)$ based on $_3F_2$ integrals?
In this MO post I have placed 4 Ramanujan-type hypergeometric series found using the LLL algorithm for fast computing of some logarithms. I could prove 3 of them by means of classical methods based on ...
- 2,836
0
votes
1
answer
235
views
Does this property implies Lipschitz continuity?
Let $f:\mathbb{R}^{n} \rightarrow \mathbb{R}$ be such that, for $x,y,z \in \mathbb{R}^{n}$, we have that
$$|f(z) - f(x)| \leq |f(z) - f(y)| \Rightarrow \|z-x\| \leq \|z-y\|$$
Can I say that this ...
- 3,599
2
votes
2
answers
365
views
Is there a compactly supported differentiable function whose Fourier transform is not in L1?
In my MSE answer here, I discussed the example of compactly supported continuous function
$$g(x)=
\begin{cases}
\dfrac{\frac12 -x}{\log(x)},&0<x\leq1/2\\
0,&\text{otherwise}
\end{cases}$$
...
- 24.2k
1
vote
2
answers
3k
views
Continuation of a smooth function
Setting
Suppose I have two bounded open domains $\Omega' \subset \Omega \subset \mathbb{R}^n$ (I'm particularly interested in case n = 2 or n = 3). We assume that all boundaries of domains are $C^\...
- 4,713
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 28k
0
votes
1
answer
217
views
About the polynomial characterization of $C^{1,\alpha}(\bar{\Omega})$ Hölder space in Lipschitz domain
I have trouble proving the following statement regarding a characterization of $C^{1,\alpha}$:
Let $\Omega$ be a Lipschitz domain. $u$ is pointwise $C^{1,\alpha}$ at all points with the same constant $...
- 111
4
votes
2
answers
364
views
Nontrivial invariant transformations for heat equations
It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by
$$ v(r,\theta) = u(\frac{1}{r},\theta)$$
is also harmonic for $r>0$. Note that the Kelvin ...
- 4,143
0
votes
0
answers
32
views
Integral representation of completely alternating homogeneous functionals on semi-lattice of continuous functions
For a long time I've been interested in G. Choquet seminal work "Theory of capacities" (Annales de l’institut Fourier, tome 5 (1954), p. 131-295). More precisely part 53 about integral ...
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
1
vote
1
answer
133
views
A question about the maximal function
Let $n>4$, $f\in C^{\infty}(\mathbb{R}^{n})$ and 0 denote the origin of $\mathbb{R}^{n}$. We define a weighted maximal function by $$Mf(x)=\sup_{0<r<1}r^{4-n}\int_{B_{r}(x)}|f|$$ which is ...
- 28k
0
votes
0
answers
279
views
Are there "gaps" between Lipschitz functions and $C^1$ functions?
I was wondering about this fact. By Rademacher theorem, it is well known that a Lipschitz function in $\mathbb{R}^d$ is $\mathcal{L}^d$-a.e. differentiable. Of course, a $C^1$ function is everywhere ...
- 697
0
votes
1
answer
72
views
Triviality of functions integrated against some trigonometrical kernels
Let's say we have a smooth real symmetric function $f\in C^\infty(\mathbb{R}^2)$ satisfying next identity:
$$\int_{\mathbb{R}^2}(e^{-i\xi x}-e^{-i\xi y})f(x,y)\,dx\,dy=0\quad\forall \xi\in\mathbb{R}. $...
- 128k
6
votes
2
answers
333
views
Attainment of maximum
A basic result in real analysis is that a continuous function $f:[0,1]\rightarrow \mathbb{R}$ attains its maximum on $[0,1]$, i.e. there is $x\in [0,1]$ such that $f(x)=\sup_{y\in [0,1]} f(y)$. A ...
- 4,359
0
votes
0
answers
73
views
Asymptotic stochastic ordering for weighted sum of i.i.d. random variables
Are you aware of any literature focusing on the conditions such that for two i.i.d. sequences of discrete r.v.'s $\{X_n\}$ and $\{Y_n\}$,
\begin{equation}
a_1X_1+a_2X_2+\ldots+a_nX_n\geq_1 a_1Y_1+...
- 19
2
votes
1
answer
115
views
Bound for the $n$-th derivative of a proper rational function with no poles on the right half-plane
Suppose that
$f$ and $g$ are polynomials with nonnegative coefficients,
the degree of $g$ is greater than the degree of $f$,
$g + f$ have no zeros on the right half plane $\mathbb{C}_+ = \{z \in \...
- 91.8k
1
vote
1
answer
101
views
On the definition of symmetric rearrangement
For a measurable function $u:\mathbb{R}^{n}\to \mathbb{C}$ one usually defines the symmetric rearrangement $u^{*}:\mathbb{R}^{n}\to \mathbb{R}^{+}$ as follows:
\begin{equation*}
u^{*}(x)=\int_{0}^{\...
- 2,834
0
votes
1
answer
76
views
Decay rate of $\lim_{|z| \to \infty} \|1_{B(z, 1)} f\|_{L^p} =0$
We fix $p \in [1, \infty)$. We have for every $f \in L^p (\mathbb R^d)$ that $\lim_{|z| \to \infty} \|1_{B(z, 1)} f\|_{L^p} =0$. I wonder if there is an estimate of above decay, i.e.,
Is there a ...
- 835
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
3
votes
0
answers
84
views
About the naturality of Krasnoselskii genus on Variational Methods
I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
- 131
-2
votes
1
answer
102
views
Partial derivative in terms of Kronecker delta and the Laplacian operator [closed]
How can the following term:
$$ T_{ij} = \partial_i \partial_j \phi$$
be written in terms of Kronecker delta and the Laplacian operator $\mathbin\bigtriangleup = \nabla^2$?
I mean is there a relation:
$...
- 128k
7
votes
2
answers
627
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 28k
0
votes
2
answers
159
views
Cauchy's functional multiplicative equation on the unit interval
This question might be trivial, but I didn't find a clean reference and have not attempted to prove it myself yet: Let $f:[0,1]\rightarrow [0,1]$ be a continuous and monotonic function such that $f(0)=...
- 24.2k
2
votes
0
answers
159
views
Upper bound of a product of sines
Consider the function
$$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$
I wonder whether it is possible to compute some nontrivial upper ...
5
votes
0
answers
107
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
- 10.5k
0
votes
3
answers
278
views
A generalisation of Tchebychev inequality
Let $f,g \in C(\mathbb R)$ with $\exists M \in \mathbb R^*, \forall (x,y) \in \mathbb R^2, M\times (f(x)-f(y))(g(x)-g(y)) \geq 0$.
Is it true that exists $ u$ any real function, and $a,b$ monotone ...
- 12.9k
3
votes
0
answers
86
views
Finite dimensional distribution of a stochastic process Lipschitz on every relatively compact set
Let $X_t$ be a Markovian Itô diffusion process, defined by an SDE
\begin{equation}
dX_t = \mu(X_t)\,dt + \sigma(X_t)\,dW_t\,.
\end{equation}
Let $f(x,t|x_0,0)$ denote its transition density function. ...
6
votes
2
answers
755
views
Prove positivity of a binomial sum
Some problems appear easy on the face of it, but perhaps they are not. Here is an instance of a certain calculation which is slightly reformulated from its original encounter in a current work. I have ...
2
votes
1
answer
272
views
Decompose a function into a bounded part and a Lipschitz part
Let $f: \mathbb R^d \to \mathbb R^d$ be a measurable function such that
$$
\sup_{x,y \in \mathbb R^d} \frac{|f(x) - f(y)|}{\max \{1, |x-y| \}} < \infty.
$$
Are there functions $g,h: \mathbb R^d \...
- 42.8k
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
2
votes
1
answer
154
views
Are these two norms on localized versions of $L^p_q$ equivalent?
$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$.
Let $E$ be the space of all real-valued ...
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
- 24.2k
1
vote
1
answer
157
views
To find a $2\pi$-periodic function with a property
I recently came across the following question in my research, and I don't know how to proceed this problem.
Question: How to find a function $g(x)$ such that it satisfies
(1) $2\pi$ periodic
(2) odd
(...
- 6,476
0
votes
1
answer
140
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
- 128k
4
votes
1
answer
253
views
The number of roots of the sum of radicals
Let $n\in \mathbb{N}$ and $$-\infty < a_1 < b_1 < a_2 < b_2 < a_3 < b_3<\cdots<a_n<b_n<+\infty$$ and $k_i\in \mathbb{R}, i=1,2,\ldots,n$. Is there any information about ...
CommunityBot
- 1
7
votes
2
answers
607
views
If the average of a sequence converges, can I find a uniform bound that does not depend on where I start?
Let $\{a_k\}_{k\in \mathbb{Z}} \subset \mathbb{R}$ a real sequence and $a\in \mathbb{R}$ such that $$ \lim_{n\to +\infty} \frac{1}{n} \sum_{k=1}^n a_k = a = \lim_{n\to +\infty} \frac{1}{n+1} \sum_{k=0}...
- 8,903