All Questions
3,629 questions with no upvoted or accepted answers
1
vote
0
answers
76
views
While doing Lp estimates, is the constant C monotonically increasing with respect to the parameters it depends on?
For example, consider the third boundary value problem:
\begin{align}
&\frac{\partial u}{\partial t}-\sum_{i,j=1}^n a_{ij}(x,t) \frac{\partial^2 u}{\partial x_i \partial x_j} + \sum_{i=1}^n ...
- 51
1
vote
0
answers
94
views
Obtaining identity from Pokhozhaev formula
From the classical Pokhozhaev formula, how can I obtain that the following identity holds for $u,v \in C^2(\bar \Omega)$?
$$
\int_\Omega (\Delta u(x,\nabla v) + \Delta v(x,\nabla v)) dx = \int_{\...
- 217
1
vote
0
answers
224
views
Is this mixed-Sobolev interpolation inequality valid?
By $L^p_T\dot H^s$ I mean the space $L^p([0, T] \to \dot H^s)$ where as usual
$$\|u\|_{\dot H^s}^2 = \int_{\mathbb R^d} |\hat u(\xi)|^2 |\xi|^{2s} ~d\xi.$$
Of course, we can interpolate in the time ...
- 708
1
vote
0
answers
258
views
Cut-off function and fractional Laplacian
Is there a smooth function $u$ such that $u = 1$ in $B_r(0)$, $u=0$ in $\mathbb R^N \setminus B_{2r}(0)$, and
$$
|\nabla u| \le Cr^{-1}, \quad |\Delta u |\le Cr^{-2}, \quad |(-\Delta)^s| u \le Cr^{-2s}...
- 99
1
vote
0
answers
68
views
Inequality of exponentials of Banach operators
(I have moved this question from Stackexchange).
Given the operators $\{A_j\}$ in a Banach algebra and a positive integer $p$, let
\begin{equation}
g=\exp\left(\frac{1}{n}\sum_{j=1}^p A_j\right)\quad\...
- 111
1
vote
0
answers
36
views
Existence and uniqueness for fractional parabolic equation with transport term
Let us consider the problem
\begin{equation}
\begin{cases}
u_t+(-\Delta)^{\sigma}u+\mathrm{div}(a(t,x)u) = 0 & \text{in } \mathbb{R}^n \times [0, T) \\
u(x,0)=u_0(x) & \text{in } \...
- 99
1
vote
0
answers
111
views
Minimisation in dual Sobolev space
Say we have a function $F(\lambda) = \|f(\lambda)\|_{H^{-1}}$ where $\lambda \in \mathbb{R}$ and $H^{-1}(\mathbb{R}^n)$ is the usual dual of the Sobolev space $H^{1}_{0}(\mathbb{R}^n)$. Suppose we are ...
- 537
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
1
vote
0
answers
32
views
Condition on Functions on Overlapping patches of a Domain
Let $\Omega\subset \mathbb{R}^n$ be a bounded domain. Let $\{p_i\}_{i=1}^m$ for some finite $m\in\mathbb{N}$ be the overlapping open sets of $\Omega$ such that $\Omega =\bigcup_{i=1}^mp_i$.
Now, ...
- 111
1
vote
0
answers
280
views
On measurability of certain group actions on spaces of bounded measurable functions
Let $\mathcal{H}$ be a separable Hilbert space equipped with a strongly continuous unitary representation of a locally compact group $G$. Denote by $\mathcal{L}^{\infty}(H)$ the space of the bounded ...
- 505
1
vote
0
answers
144
views
Liouville theorem for elliptic equation with advection term
How can one prove that any $L^2$ solution of
$$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$
is zero if $a(x)$ is a divergence-free vector field such that
$\int |\...
- 99
1
vote
0
answers
61
views
Discrete Orlicz space estimate
We consider the discrete LlogL space of sequences $x=(x_i)$ such that
$$\Vert x\Vert_{LL}:=\sum_i \vert x_i \log(x_i)\vert <\infty.$$
Let $x=(x_i)$ and $y=(y_i)$ two sequences in the above LlogL ...
1
vote
0
answers
130
views
Fractional Sobolev embedding theorem
Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds
$$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
- 99
1
vote
0
answers
65
views
Normalizing constants preserve metric entropy
Suppose $\mathcal{F}=\left\{f\in L^2([a,b]): 0<\underline{c}\leq f\leq\overline{c} \right\}$. Consider the following transformation
$$\tilde{\mathcal{F}} := \left\{\frac{f}{\int f d\mu}: f\in \...
- 11
1
vote
0
answers
71
views
Show that the Laplacian on these domains is isospectral
Let $\Omega_i\subseteq\mathbb R^d$ be bounded and open, $A_i$ denote the weak Laplacian with domain $\mathcal D(A):=\{u\in H_0^1(\Omega_i):\Delta u\in L^2(\Omega_i)\}$ on $L^2(\Omega_i)$ and $$T_i(t)f:...
- 167
1
vote
0
answers
122
views
Series and solution of $-\Delta u + \lambda u = f(x)$
Consider a bounded smooth set $\Omega \subset \mathbb R^n$ (for example, we can take a ball). Can we write down the solution of
\begin{align*}
-\Delta u(x) + \lambda u(x) &= f(x), & x \in \...
- 131
1
vote
0
answers
74
views
Is $A^{-\infty}$ a $Q$-algebra?
Let $\mathbb{D}=\{z\in \mathbb{C}: |z|<1\}$ and
$$
A^{-\infty}=\Big\{f:\mathbb{D}\rightarrow \mathbb{C}\;|\; \exists n\in \mathbb{N} \textrm{ such that }\|f\|_{-n}= \sup\limits_{z\in \mathbb{D}}\;\!...
- 21
1
vote
0
answers
306
views
Gaussian measures on infinite dimensional spaces
On Zabczyk & Da Prato book about infinite dimensional SDEs they introduce the idea of Gaussian measures in infinite dimensional Banach spaces. They do so by means of Fernique theorem.
In the ...
- 515
1
vote
0
answers
142
views
On the uniform boundedness principle and the space of functions of bounded variation
Let $U$ be a bounded smooth domain of $\mathbb{R}^d$. We write $m$ for the Lebesgue measure on $U$. A function $f \in L^1(U,m)$ has bounded variation in $U$ if
\begin{align*}
V(f,U):=\sup \left\{\int_{...
- 721
1
vote
0
answers
140
views
Converse to Hausdorff-Young (or Riesz-Thorin) for finite cyclic groups?
Let $v$ be a vector $v \in \mathbb{R}^p$, with non-negative entries and $p$ prime. The Hausdorff-Young inequality gives bounds of the form:
$$\|\mathcal{F}v\|_a \le C_{a,b} \|v\|_b$$
where the ...
- 435
1
vote
1
answer
173
views
Taut string algorithm and TV-minimization equivalence
Given real numbers $y_i's$, consider the following convex optimization problem:
$$
\min_{x_i's} \sum_{i=1}^N(y_i-x_i)^2 + \lambda\sum_{i=1}^{N-1}|x_{i+1}-x_{i}|.
$$
The paper A Direct Algorithm for 1D ...
- 1,216
1
vote
0
answers
42
views
On the boundary integral of Neumann eigenfunctions
Let $v$ be an eigenfunction corresponding to the first nonzero Neumann Laplacian eigenvalue on a domain $\Omega \subset \mathbb{R}^2$. By definition, we know that $\int_{\Omega} v \, dx=0$. If $\Omega$...
- 1,350
1
vote
0
answers
157
views
Does a sequence of Jacobians converge to the 'correct' continuous part plus some controlled singular part?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, compact, connected, oriented Riemannian manifolds. (with or without boundaries). Let $f_n \in W^{1,...
- 6,741
1
vote
0
answers
57
views
Inequalities in special function cones
We consider the Banach space $X=C([0,1])$ endowed with the norm $\|v\|_{\infty}=\max _{t \in[0,1]}|v(t)|$ and, we define the cone
$\mathcal{C}=\{u \in X \mid u \mbox{ is concave, } u \geq 0, u(0)=u(1)=...
1
vote
0
answers
40
views
Various definitions of weak solutions and continuity property
For example, consider the transport equation
$$
\partial_tu+b\cdot\partial_xu=0, u(0,x)=u_0(x),
$$
where $t\ge0,x\in\mathbb{R}^3$, $b\in W^{1,1}_{\rm{loc}}([0,\infty)\times\mathbb{R}^3)$.
It seems ...
- 71
1
vote
0
answers
123
views
Derivatives of measures of bounded variation on intervals
Investigating an abstract Cauchy problem on the space of measures with bounded variation I came up with the following space:
Let $\operatorname{BV}[a,b]$ the space of all functions $f:[0, 1] \to \...
- 301
1
vote
0
answers
81
views
Compact imbedding for weight space
We begin with some definitions. Let $\gamma \geqslant 1,\,p \in \left[ {1,\infty } \right)$, we define
$$L_\gamma ^p\left( {0,1} \right) = \left\{ {v:\left( {0,1} \right) \to \mathbb{R}:{{\left\| v \...
- 183
1
vote
0
answers
62
views
Properties of the Fourier Transform of Countably Supported Functions on $[0,1)$
Identifying $\mathbb{R}/\mathbb{Z}$ with the interval $\left[0,1\right)$, let $C_{\textrm{coun}}\left(\mathbb{R}/\mathbb{Z}\right)$ denote the set of all functions $f:\mathbb{R}/\mathbb{Z}\rightarrow\...
- 1,284
1
vote
0
answers
119
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
- 429
1
vote
0
answers
77
views
Is there a term for a linear operator on an $L^p$ space that "locally respects boundedness"?
Let $X$ be a Polish space, and $\mu$ a locally finite measure. Take any $p \in \{0\} \cup [1,\infty)$. We will say that a linear operator $T \colon L^p(\mu) \to L^p(\mu)$ has property $(\ast)$ if ...
- 708
1
vote
0
answers
74
views
Dimension dependence: boundedness result of the fractional Riesz integral
I am looking for the best known constant in the boundedness result of the fractional Riesz integral. In particular, I am interested in the dependence on the dimension $d$ and on the parameter $\alpha&...
- 778
1
vote
0
answers
70
views
Lower-bounding the eigenvalues of a certain positive-semidefinite kernel matrix, as a function of the norm of the input matrix
Let $\phi:[-1,1] \to \mathbb R$ be a function such that
$\phi$ is $\mathcal C^\infty$ on $(-1,1)$.
$\phi$ is continuous at $\pm 1$.
For concreteness, and if it helps, In my specific problem I have $\...
- 6,853
1
vote
0
answers
42
views
Energy estimate for $\theta_t + H(\theta)_x = 0$ in $t>0, x >0$?
Consider the IBVP for $$\theta_t + H(\theta)_x = 0, \qquad t>0, \ x>0$$ with $$H(\theta) = \frac{1}{\pi} \text{pv}\int_{0}^\infty \frac{\theta(y)}{y-x} dy$$
with Dirichlet boundary conditions. ...
- 161
1
vote
0
answers
64
views
Embedding a normed space as a hyperplane
Let $X$ be a real normed space and suppose that $X$ is a closed hyperplane of a bigger space $\tilde X$. Given any unit vector $u$ in $\tilde X\setminus X$, consider the function $p:X\to\mathbb R$ ...
- 483
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
- 5,405
1
vote
0
answers
122
views
Metric transforms that preserve $\ell^1$ embeddability
Consider a function $f$ from reals to reals such that $f$, when applied to pairwise Manhattan distances between $n$ points, always results in a set of Manhattan distances.
Work by Schoenberg and ...
- 93
1
vote
0
answers
119
views
Integrable functions that may not satisfy the inversion Fourier formula
Let $f\in L^1(\mathbb{R})$. We define $\phi_f(x)=\int_{\mathbb{R}} \hat{f}(\zeta)e^{2\pi i\zeta x}d\zeta$ if the improper Riemann integral is finite otherwise, $\phi_f(x)=\infty$.
Does there exist ...
- 4,058
1
vote
0
answers
81
views
Examples of spaces which have explicit expression as colimits in $\mathrm{Top}$
$\DeclareMathOperator\Ball{Ball}$Question: What "well-known" spaces can be explicitly written down in the form $\bigcup_k \phi_k C(K_n,\mathbb{R}^m)$; where $K_n$ is a non-empty compact ...
- 5,405
1
vote
0
answers
210
views
The translation is continuous in $L^1(\mathbb{R}^n,d\mu)$, $d\mu=\frac{1}{1+|y|^{n+a}}dy$,$ a>0$
For any function $f\colon\mathbb{R}^n\to\mathbb{R}$, set: $\tau_hf(x):=f(x+h)$, $x,h\in\mathbb{R}^n$. Consider the following finite measure on $\mathbb{R}^n$:
$$\mu(A):=\int_A\frac{1}{1+|y|^{n+a}}\,dy$...
- 339
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 339
1
vote
0
answers
213
views
Fractional Laplacian extension problem and uniqueness question
I am studying the article "An Extension Problem Related to the Fractional Laplacian" by L. Caffarelli and L. Silvestre. Consider the following problem:
$$ \Delta_xu+\frac{a}{y}u_y+u_{yy}=0, $...
- 339
1
vote
0
answers
88
views
Reference request: PDE of the form $(\Delta - |u|^2)f = F(u)$
I am interested in equations of the form
$$(\Delta -|u|^2)f = F(u)$$
where $F$ depends on $u$ and preferably on its derivative, too. $u$ is supposed to be given and $f$ the unknown. More precisely I ...
- 469
1
vote
0
answers
74
views
Good source for Jordan Fréchet algebras
Is there any good source for Jordan Fréchet (or more generally, Jordan locally convex) algebras?
I'm looking for something on the level similar to the level of the book "Banach and Locally Convex ...
1
vote
0
answers
442
views
Stein's extension operator for fractional Sobolev spaces
In his book Singular Integrals and Differentiability Properties of Functions,
Stein constructs an extension operator $\mathcal{E}:W^{m,p}(\Omega)\rightarrow
W^{m,p}(\mathbb{R}^{N})$, $m\in\mathbb{N}$, ...
- 411
1
vote
0
answers
81
views
Relation between minimizer of regularized risk & risk in statistical learning theory
In supervised machine learning, we typically take a Risk Minimization (RM) point of view when formulating a problem. So, what we typically solve for is the following:
$$ R^L(h) = \underset{h\in\...
- 11
1
vote
0
answers
91
views
A bilinear estimates involving critical Sobolev norms
Given $q>1$, consider the critical Sobolev space $W^{n/q,q}(\mathbb{R}^n)$, which fails to embed in $L^{\infty}(\mathbb{R}^n)$. I'm wondering if we can recover some critical estimate by considering ...
- 943
1
vote
0
answers
203
views
Uniformly local Sobolev spaces and interpolation
Let $d\in\mathbb{N}^+$, $s\geq 0$, and consider the uniformly local Sobolev space
$$H^s_{u,loc}(\mathbb{R}^d):=\{f\in H^s_{loc}(\mathbb{R}^d)\,s.t.\,\|f\|_{H^s_{u,loc}}:=\sup_{x\in \mathbb{R}^d} \|f\|...
- 943
1
vote
0
answers
66
views
Well-posedness of hyperbolic system with constant coefficients in finite domains
I'm studying the PDE
$$
\frac{\partial u}{\partial t} + A_x\frac{\partial u}{\partial x} + A_y\frac{\partial u}{\partial y} + A_z\frac{\partial u}{\partial z} = 0
$$
with $A_x, A_y, A_z$ being ...
- 11
1
vote
0
answers
67
views
Approximate identities on the unit disk and going beyond a power series' radius of convergence
Let $\left\{ a_{n}\right\} _{n\geq0}$ be a bounded sequence of complex numbers, so that the power series $f\left(z\right)=\sum_{n=0}^{\infty}a_{n}z^{n}$ has a radius of convergence $\geq1$. ...
- 1,284
1
vote
0
answers
75
views
Basic question about convergence of top and penultimate eigenvalues of a sequence of operators
$\newcommand{\norm}[1]{\|#1\|}$ $\newcommand{\ab}[1]{\langle #1\rangle}$ $\newcommand{\C}{\mathbf C}$
Questions
Let $I$ be the unit interval.
Let $H=L^2(I)$ and $T:H\to H$ be a compact self-adjoint ...
- 113