All Questions
1,533 questions with no upvoted or accepted answers
3
votes
0
answers
40
views
Non-existence of local generators for Sobolev tangent subundles
Let $U\subset\mathbb R^n$ be a bounded open set, a rank $r\le n$ measurable tangent subbundle $\mathcal V$ on $U$ is a map to the Grassmannian $\mathcal V:U\to Gr(r,\mathbb R^n)$ which is only defined ...
3
votes
0
answers
96
views
A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$
Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball.
Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves
$$\begin{cases} -\Delta ...
3
votes
0
answers
142
views
What are the possible asymptotics of the measure of a parametrised semialgebraic set?
Consider a family of semialgebraic sets $S_t \subset \mathbb{R}^d$ ($t \in [0,1]$) of the form
$$ S_t = \{ x \in \mathbb{R}^d \ : \ p_1(x,t) \geq 0,\ p_2(x,t) \geq 0, \dots, p_m(x,t) \geq 0 \} $$
...
3
votes
0
answers
56
views
On Sobolev's inequality for weakly conformal maps
Suppose $u\in W^{2,p}(B^2,\mathbb{R}^n)$, $1<p<2$, is weakly conformal, that is
$$|u_x|=|u_y|,\quad u_x\cdot u_y=0$$
for almost every $(x,y)\in B^2$. Here $B^2$ is the unit open ball in $\mathbb{...
3
votes
0
answers
161
views
Chebyshev Equioscillation Theorem in presence of extra conditions
Let $P_\ell$ be polynomials of degree $\ell$. For $f \in C[0,1]$, define the minimax error $E_\ell(f) = \min_{p \in P_\ell} \max_{x \in [0,1]} |f(x) - p(x)|$. We know that for the above scenario the ...
3
votes
0
answers
84
views
Compact Sobolev embedding with boundary conditions
Let $X$ be some metric measure space on which Sobolev spaces can be defined in a reasonable way. In many cases, $H^1(X)$ is compactly embedded in $L^2(X)$ (e.g., if $X=\Omega$ is a bounded open set of ...
3
votes
0
answers
216
views
integration by parts on a Lipschitz domain as $\epsilon\to 0$
For a fixed, bounded, smooth domain $\Omega\subset \mathbb R^d$ and any $u\in W^{1,1}(\Omega)$ with trace $u|_{\partial\Omega}=g\in L^1(\partial\Omega)$ one can prove that
$$
\lim\limits_{\epsilon\to ...
3
votes
0
answers
121
views
Schatten norm estimate of spatially truncated resolvent of Laplacian
Consider the operator $-\Delta$ on $L^2(\mathbb R^d)$. In my studies I stumbled upon operators of the form
$$1_{\Gamma_n} (-\Delta -z)^{-1} 1_{\Gamma_m},$$
where $1_{\Gamma_m}$ denotes multiplication ...
3
votes
0
answers
79
views
Some exercise on the regularity of a summability method
I was reading the book of Johann Boos "Classical and modern method in summability theory" and I came across an exercise from the Chapter 2 (page 50, exercise 2.3.15). Here is the statement ...
3
votes
0
answers
150
views
Is there any injective mapping from smooth functions on closed interval to smooth functions on circle? Motivated by signal processing
One advantage of Discrete Cosine Transform (DCT) over Discrete Fourier Transform (DFT) is that DCT maps any "continuous" signal defined on interval to a continuous one defined on circle.
I ...
3
votes
0
answers
138
views
The mystery of the jumps of functions with the prescribed jumps: Eisenstein series and hidden symmetries(?)
Say that a function $f(t)$ “changes only by jumps” if $f(t) + \text{const} = C ∑_k j_k θ(t-t_k)$ for a certain constant $C$. Here $θ(t)$ is the Heaviside
step function which has a jump 1 at $t=0$ (it ...
3
votes
0
answers
90
views
Real analytic recursion
Fix an analytic function $f:\mathbb{R}\to\mathbb{R}$. Assume $f(x)>x$ for all $x\in \mathbb{R}$.
Is there an analytic function $g:\mathbb{R}\to\mathbb{R}$ such that $g(x+1)=f(g(x))$?
3
votes
0
answers
322
views
Heat equation damps backward heat equation?
In a previous question on mathoverflow, I was wondering about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
3
votes
0
answers
238
views
How to denote a partial derivative?
This question is related to Was Jacobi the first to notice the ambiguity in the partial derivatives notation? And did anyone object to his fix? and Suggestions for good notation .
When there are two ...
3
votes
0
answers
1k
views
On new (purely analytic) perspective towards theory of prime numbers
[I'm going to ask this question very carefully as a question similar to this received a critical response on this platform.
I myself am very skeptical about this but I want to know, from the experts' ...
3
votes
0
answers
46
views
Partial hypoellipticity
The question is posed specifically about the wave equation and is related to partial hypoellipticity of the wave equation. Let $\Omega \subset \mathbb R^n$, $M=(0,T)\times \Omega$ and $\Gamma=(0,T)\...
3
votes
0
answers
467
views
Opposite of the curl operator and Biot-Savart kernel
Note: I just realized that using $\omega$ and $w$ might not have been the smartest choice of notation -- Sorry about that.
Let $\renewcommand{\div}{\operatorname{\div}}Q_0, Q_1$ be two real numbers, $...
3
votes
0
answers
204
views
Infinite partial fraction expansions to compute fractional iterations and recurrences
Let say a function $f$ is defined iteratively over the set of positive integers, for instance $f(t+1)=f(f(t))$ or $f(t+1)=f(t)+f(t-1)$. Based on the recurrence relationship and initial conditions, how ...
3
votes
0
answers
117
views
Are continuous harmonic maps between Riemannian manifolds smooth up to the boundary?
Let $M,N$ be smooth, connected, compact, oriented, two-dimensional Riemannian manifolds, with $C^k$ boundaries.
Let $f:M \to N$ be a Lipschitz continuous weakly harmonic map**, and assume that $f(\...
3
votes
0
answers
65
views
Elliptic equations in semi-infinite strips
Let $\Omega$ be a bounded domain in $\mathbb R^n$ with smooth boundary. Let $g=(g_{jk})_{j,k=0}^n$ be a Riemannian metric on $\mathbb R^+\times \Omega$ with smooth bounded components. Is there a good ...
3
votes
0
answers
125
views
Green operator of elliptic differential operator and radius of convergence
Let $E \to X$ be a hermitian vector bundle over a compact Kähler manifold and let $L$ be a self-adjoint elliptic linear differential operator on $E$. Suppose that $E \to X$ and $L$ are real-analytic. ...
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
3
votes
0
answers
117
views
Optimal Poincaré constants under combined boundary and average conditions
Let $\Omega=[0,1]^2$ be the unit square, $\Gamma_1=[0,1]\times\{0;1\}$ its horizontal boundary and $\Gamma_2= \{0;1\}\times[0,1]$ its vertical boundary.
I would like to know the optimal Poincaré ...
3
votes
0
answers
119
views
Second derivative estimates
I am in big trouble since I don't see how to proceed (I don't need the exact calculation) with the following estimates.
In one of his papers, Lin proves the following result:
Let's consider a ...
3
votes
0
answers
235
views
Singular integral operator
I am working on a problem involving the Biot-Savart law in fluid dynamics. I found a theorem of singular integral which is intimately related to my research.
Assume that $K(x)$ is a classical Calderon-...
3
votes
0
answers
242
views
Cardinal numbers and the Bolzano-Weierstrass theorem
Let $\kappa$ be a cardinal number, define $\textsf{M}(\kappa)$ and $\textsf{BW}(\kappa)$ as follows:
$\textsf{M}(\kappa)$ : For every sequence $(f_{n}:\kappa\to \mathbb{R})_{n\in\mathbb{N}}$ of real-...
3
votes
0
answers
646
views
On properties on a certain functional
Consider the following function:
$$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$
Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant.
The following three conditions ...
3
votes
0
answers
87
views
Is $|f^{-1}f(p)|$ constant on a conull set?
Suppose $f: \mathbb{R}^n \rightarrow \mathbb{R}^m$ is an analytic map. Can we say that there is a conull set $U \subset \mathbb{R}^n$ (i.e. $\mathbb{R}^n \setminus U$ has measure zero) where $|f^{-1}f(...
3
votes
0
answers
238
views
Dominated convergence Theorem
I am struggling to understand the proof in the paper, Learning Temporal Evolution of Spatial Dependence with
Generalized Spatiotemporal Gaussian Process Models.
Theorem 2.1 in the page 33 uses ...
3
votes
0
answers
241
views
Lower bound on coefficients in hermite transform of Tanh
I would like to understand $L^2\left(\mathbb{R}, \mu\right)$ approximation by polynomials of $\tanh$ (and more generally smooth functions), where $\mu$ is standard gaussian distribution. This leads to ...
3
votes
0
answers
144
views
Noncrossing partitions in Hopf algebras/monoids via compositional inversion
Partition polynomials constructed from the face structures of the associahedra (OEIS A133437) and permutahedra (A133314) comprise the antipodes/compositional inverses in a Faa-di-Bruno-type Hopf ...
3
votes
0
answers
238
views
Move one element of finite set out from A in plane
Suppose we are given two sets, $S$ and $A$ in the plane, such that $S$ is finite, with a special point, $s_0$, while neither $A$ nor its complement is a null-set, i.e., the outer Lebesgue measure of $...
3
votes
0
answers
205
views
Uniqueness of the inverse kernel of an invertible integral transform
For any invertible integral transform $T$ of kernel $K$ that maps a function $f$ to the function $\varphi$ such that
$$\varphi(s)=\left[T\left\lbrace f\right\rbrace\right](s)=\int_a^bK(x,s)f(x)dx$$
...
3
votes
0
answers
107
views
Solving for a monotone function - contraction operator for functions?
I want to solve a problem for an increasing function $g(x)$, for $x \in [0,1]$ and with $g(0) = 0$ and $g(1) = 1$.
The solution will be solution to the following equation
$\forall x$, $f_1(x) = f_2(g(...
3
votes
1
answer
490
views
Space derivative of flow of ODE with monotone source
Consider the ODE
$$
\begin{cases}
\partial_t\Phi(t,x) = f(t,\Phi(t,x)), &\ t>0, \ x \in \mathbb R \\
\Phi(0,x) = x, & x \in \mathbb R
\end{cases}
$$
where $f$ is function which is a non-...
3
votes
0
answers
159
views
Characterising functions of bounded variation by their modulus of continuity
Given a a.e. finite measurable function $ \mathbb R^n \to \mathbb R$, define the essential modulus of continuity, $M(f): \ \mathbb R^n \times \mathbb R+ \to \mathbb R$ by
$$
M(f) (x, e)=\sup_{m(A) = 0}...
3
votes
0
answers
72
views
Random Two-Player Asymmetric Game
About half a year ago I asked a question on MSE about a random two player game. At the time, the question received some attention and some progress was made, but was not resolved completely. I have ...
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
3
votes
0
answers
135
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
3
votes
0
answers
132
views
A new characterization of Riemann-Integrability
Question :
Given two bounded functions $\,f:[a,b]→\mathbb{R}\,$
and $\;θ:(0,b−a]→[0,1]$.
Suppose $\,P:a=x_0<x_1<⋯<x_n=b\;$ is a partition of $\,[a,b]$.
Let $\,Δx_k=x_k−x_{k−1}\,$ and $\,\...
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
3
votes
1
answer
851
views
Convergence of a certain sum
Suppose $ g_i: [0, 1] \to \Bbb R$, $i\in\Bbb N$, are $C^1$ functions and that there is some $c > 0$ such that for every $0 < \epsilon < c$, the functions
$$
s(\epsilon)_i := \sum_{k=0}^i {\...
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 ...
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
3
votes
0
answers
106
views
Dependency of the Wasserstein distance on the parameter: a differential perspective
Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$. Consider the $2-$Wasserstein distance below:
$$W_2(\mu,\nu)^2 \quad := \quad \inf_{\...
3
votes
0
answers
169
views
Why is the smallest (fractional) absolute central moment of a Gaussian distribution almost at $\sqrt{3}/2$?
Let $X$ be a standard normal random variable. What $\alpha$ minimizes $E|X|^{\alpha}$?
Numerically, $\alpha$ turns out to be equal to $\sqrt{3}/2-\varepsilon$ where $\varepsilon$ is of the order $10^...