All Questions
12,937 questions
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
- 39
0
votes
0
answers
44
views
Are there probability densities $\rho, f_n$ such that $\lim_n \frac{[\rho * f_n]_\alpha}{\|\rho * f_n\|_\infty} = \infty$?
We fix $\alpha \in (0, 1)$. Let $[f]_\alpha$ be the best $\alpha$-Hölder constant of $f: \mathbb R^d \to \mathbb R^k \otimes \mathbb R^m$, i.e., $[f]_\alpha := \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x-...
- 825
0
votes
0
answers
53
views
A problem about how to understand the existence of derivative of level set in Mountain-pass theorem
I'm confused about the Mountain pass theorem in Lemma4 of here.
Background :
$$
\begin{gathered}
I_\lambda(u)=\frac{1}{2} \int_M\left|\Delta_g^{\frac{m}{2}} u\right|^2 d \mu_g-\frac{\lambda}{2 m} \log ...
- 809
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
0
votes
0
answers
106
views
Using a theorem (which is originally set on 2-dim bounded domain in Euclidean space) on a torus
Actually I'm reading a paper on mean-field equation on torus by M.Struwe and G.Tarantello Here, they studied $$\tag{1}
-\Delta u=\lambda\left(\frac{e^u}{\int_{\Omega} e^u d x}-\frac{1}{|\Omega|}\right)...
- 809
0
votes
0
answers
64
views
When is a symmetric block Toeplitz matrix invertible?
Let
$$
Q =
\begin{bmatrix}
Q_0 & Q_1 & Q_2 & \cdots\\
Q_{-1} & Q_{0} & Q_1 & \cdots\\
Q_{-2} & Q_{-1} & Q_0 & \cdots\\
\vdots & \vdots & \vdots & \ddots
...
0
votes
0
answers
55
views
Attenuation estimation of the solution of the $n$-dimensional wave equation Cauchy problem
This is the equation given ($n\geq2$)
$$
\begin{cases}
u_{tt}=a^{2}\left(\Delta u\right), \\
\left.u\right|_{t=0}=\varphi(x_1,\cdots,x_n ),\\
\left.u_{t}\right|_{t=0}=\psi(x_1,\cdots,x_n ) .
\end{...
- 1
0
votes
0
answers
235
views
Analogue of $\ell^2(X)$ over an arbitrary Banach ring
Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
- 1,485
0
votes
0
answers
74
views
Elliptic regularity for Dirichlet problem
Let $\overline{M}=M \cup \partial M$ be a compact manifold with boundary, where $\partial M$ is the boundary of $\overline{M}$ and $M$ is the interior of $\overline{M}$.
Let $P$ be an injective ...
- 577
0
votes
0
answers
79
views
Convergence of metric implies convergence of eigenvalues?
Consider the metric $g_\varepsilon=d\theta^2 + \varepsilon^2 \sin(\theta)^2 \, d\varphi^2$ on the hemisphere $S^2_+.$ I had two naive questions:
Does $g_\varepsilon$ converge to the flat metric on ...
- 537
0
votes
0
answers
65
views
To study the elliptic PDE on complex manifold, when can we treat it as the real case?
I wonder when studying the elliptic PDE on complex manifold, especially studying the existence of solutions, when can we directly study the real case, for example, when studying
$$\Delta_c u = f(x,u),$...
- 809
0
votes
0
answers
22
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
- 651
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
32
views
reference request: mercer expansion and kernel underlying Sobolev spaces?
Let us define the periodic Sobolev spaces, for $s > n/2$ by
$$
H_{s}([0, 1]^n) = \{f : [0, 1]^n \to \mathbb{R} :\mbox{for}~j\leq s, f^{(j)} |_{\partial[0, 1]^n} \equiv 0, ~~
\int_{[0, 1]^d} (f^{(s)...
- 420
0
votes
0
answers
55
views
Strong sub-differentiability of an equivalent strictly convex norm
First, we define the notion of strong sub-differentiability(SSD) of a norm on a Banach space $X$. The norm $\Vert \cdot \Vert$ of $X$ is said to be SSD if the one-sided limit $$\lim_{t \to 0+} \frac{\...
- 85
0
votes
0
answers
48
views
Computation of Brown measure of the shift operator on $\ell^2(\mathbb N)$?
This looks an extremely simple question - I am just trying to give an example of Brown measure, https://en.wikipedia.org/wiki/Brown_measure, so I try to compute it for the left/right-shift operator on ...
- 1,755
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
0
votes
0
answers
60
views
asymptotic expansions for $C^{1+\epsilon}$operators
I want to understand the asymptotic expansion for $C^{1+\epsilon}$ operators.
More precisely, if a complex operator $T(z)=\sum_{n \ge 1}T_n z^n$ is defined on a closed unit disk, and it is $C^{1+\...
user522705
0
votes
0
answers
81
views
Ultraproduct reflexive
Hello I have the following construction: Let $(E,\|\cdot\|_E)$ be a Banach space, $E_n:=E^n$ and $\|x_n\|_n:=\frac{1}{n}\sum_{k=1}^n \|x_n(k)\|_E$ for all $x_n=(x_n(1),...,x_n(n))\in E^n$ and $n\in\...
- 1
0
votes
0
answers
126
views
Building representation of an arbitrary umbral calculus
Consider a set of integrable functions on the interval $(0,1)$.
Let's introduce an operation $\operatorname{eval}f=\int_0^1 f(x)\,dx$ (which is the mean value of the function).
In such system the ...
- 10.1k
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
0
votes
0
answers
112
views
Fourier integral operators and parametrix
Consider the classical wave equation in a bounded domain in $\mathbb{R}^n$, assuming vanishing of the function and its normal derivative on the boundary.
Question: Is there an expression for the ...
- 593
0
votes
0
answers
88
views
Intersection of Sobolev Spaces
Suppose $\Omega$ is a bounded open subset of $\mathbb{R}^n$ with a "nice" boundary. We have the Sobolev spaces $W^{k,2}(\Omega)$, which are all contained within each other: $W^{m,2}(\Omega)\...
- 807
0
votes
0
answers
63
views
Existence of a measurable maximizer
Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
- 1
0
votes
0
answers
72
views
Some questions about the concept of stable solution of elliptic PDE
For $$
-\Delta u=f(u) \quad \text { in } \Omega,
$$
we call a solution is stable if
$$
Q_u(\varphi):=\int_{\Omega}|\nabla \varphi|^2 d x-\int_{\Omega} f^{\prime}(u) \varphi^2 d x \geq 0, \quad \forall ...
- 809
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 39
0
votes
0
answers
157
views
Dependence of functional integral on the function space
In physics, the following functional integral is considered
\begin{gather}
Z[J]= \int Df \exp(-\int d^dx( f\Box f+\lambda f^4 +Jf ))
\end{gather}
It is usually said that the integration is performed ...
- 593
0
votes
0
answers
59
views
Series representation of functions
Let $H$ be a Hilbert space, consisting of functions $f:\mathbb{R} \to \mathbb{R}$. Let
$$
V = \left\{ f_J \in H: f_J= \sum_{j=1}^J c_j^{(J)} g_j, c_j^{(J)}\in\mathbb R, J\in \mathbb N \right\}
$$
...
- 93
0
votes
0
answers
55
views
Question on the modelling of (viscous) fluid in a bag with holes
Consider some fluid (as nice as possible) in a plastic bag with holes illustrated by the image below (of course no holes have been drawn in this picture)
What is the corresponding PDE to model the ...
- 1,334
0
votes
0
answers
46
views
Conservation law for generic linear hyperbolic PDEs?
Consider the wave equation:
$$
u_{tt} = \Delta u, \text{ on }U\times [0,T], u=0\text{ on }\partial U\times[0,T].
$$
To prove the only solution for the zero initial condition is zero, we only need to ...
- 1,755
0
votes
0
answers
67
views
Examples of symmetry-breaking solitons which retain a subgroup symmetry
There are many works on spontaneous symmetry breaking in the Nonlinear Schrödinger equation with asymmetric soliton solutions.
However, all symmetry breaking soliton examples I have seen go from the ...
- 49
0
votes
0
answers
80
views
What is the PDE corresponding to this weak formulation?
Consider a flow $(\mu_t)_{t\ge 0}$ such that
every $\mu_t$ is a probability on $\mathbb R_+$;
$\mu_0(dx) = \rho(x) \, dx$ with $\rho$ being a probability density (as nice as possible) on $\mathbb R_+$...
- 1,334
0
votes
0
answers
25
views
Reference request heat equation with moving interface
Let $T,\sigma_1,\sigma_2>0$, $\lambda:[0,T]\to\mathbb{R}$ a continuous function and consider the following Cauchy problem on $[0,T]\times \mathbb{R}$:
$$
\begin{cases}
u_t = \sigma_1^2u_{xx} ~~~~\...
- 393
0
votes
0
answers
108
views
Mixture of Ornstein-Uhlenbeck operators
Consider a set of isotropic, multivariate Gaussian densities with different centers $\mu_i\in \mathbb{R}^d $, $i\in\{1, \ldots, K\}$, which are denoted $\phi_i(x)$. They all have the same variance ...
- 555
0
votes
0
answers
53
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
- 393
0
votes
0
answers
56
views
Godunov splitting convergence research
The approximation of Godunov splitting on certain differential equations is known to be first order accurate. In 2011, a paper has also shown that it is first order accurate for nonlinear ordinary ...
- 101
0
votes
0
answers
163
views
Generalization of polynomial coefficients
I'm dealing with a hard combinatorial problem where for every positive integer value of a variable $n$ I have to calculate a list of numbers, specifically $n^2$, that depend on $n$ and its list index ...
- 47
0
votes
0
answers
81
views
Is a bounded measurable convex function above its interior lower semi-continuous convex envelope?
Let $E$ be a locally convex topological vector space, let $C$ be a convex set which matches the closure of its relative interior $\mathring C=\{ x\in C : \forall y\in C,\exists z\in C,~x\in\mathopen]y,...
- 204
0
votes
0
answers
37
views
Finding an element of Gelfand triple with a designated time derivative
Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
where $V'$ is the dual of $V$ and the inclusions are ...
- 3,477
0
votes
0
answers
33
views
On the I-method's energy increment calculation in a paper of Dodson
I am currently reading Dodson's Global Well-posedness for the Defocusing, Quintic Nonlinear Schrödinger Equation in One Dimension for Low Regularity Data article and I am trying to understand Theorem ...
- 870
0
votes
0
answers
29
views
Advection diffusion equation with position dependent advection
I am trying to solve a equation that looks like $$u_t=f(x)u_x+Du_{xx}$$
any insight to whether an solution might exist would be very much appreciated!
0
votes
0
answers
94
views
The asymptotic behaviour of the Fourier transform of a certain class of radially symmetric functions
Fix $\theta\in (-\pi/2,\pi/2)$ and let $a>0$. Suppose that $f:\mathbb{C}\rightarrow \mathbb{C}$ is analytic in $S:=\{z\in \mathbb{C}: |\arg{z}|<\pi/2\}$ and
$$|f(z)|\sim |z|^{-a},\qquad |z|\to \...
- 852
0
votes
0
answers
51
views
Rescaling of cosine families
First of all, the best wishes for 2024. Recently, I got aware of cosine operator families (in the framework of evolution equations). It is well-known, that operator semigroups can be rescaled (see for ...
0
votes
0
answers
52
views
Properties of "potential vector field" in Helmholtz decomposition
It is a well known fact that given a vector field $F$ in $\mathbb{R}^3$, this can be decomposed as
$$ F= \nabla V+ \nabla \times R$$
with $V$ a potential and $R$ another vector field. These components ...
- 697
0
votes
0
answers
170
views
Extreme confusion over the tautology of the solution for PDEs
Let $u_0 : \mathbb{R}^3 \to \mathbb{R}^3$ be a smooth divergence free vector field. Then, it is well-known from the theory of Navier-Stokes equation that there exists some $T \in (0,\infty]$ and a ...
- 3,477
0
votes
0
answers
88
views
How to solve with FEM a semilinear elliptic equation?
I searched in many books regarding FEM how to solve semilinear elliptic equation, but I did not find too many things. They mostly treat linear and simple problems. For example in P.Ciarlet-The finite ...
- 1,759
0
votes
0
answers
135
views
Relative bounds for vorticity
Write the vorticity equation as
\begin{equation}\label{Eq20}
\begin{split}
\dfrac{\partial}{\partial t} v_i & = \biggl[|\textbf{v}|~|\nabla u_i|\cos(\beta_i)- |\textbf{u}|~|\nabla v_i|\cos(\...
- 317
0
votes
0
answers
192
views
Reference request: an introduction to nuclear spaces
I am looking for a short introduction to nuclear spaces and nuclear operators. I am interested in these spaces as they often arise in mathematically rigorous quantum field theories. I have read the ...
- 721
0
votes
0
answers
56
views
Why is von Neumann inequality important for equivalence of $\forall_j \ T_j^n\rightarrow 0$ in A-topology and abs continuity of $(T_1,\ldots, T_N)$?
The whole theorem goes as follows:
Let $(T_1, \ldots, T_N)$ be a tuple of commuting operators in Hilbert space $H$ satisfying:
$$\exists_{M > 0} \ : \ \forall_{p \in \mathbb{C}[z_1, \ldots, z_N]} \ ...
- 63
0
votes
0
answers
111
views
Reversing heat transfer with respect to time
Fact: One can easily compute heat dispersion in a plane using the heat equation.
Question: Has any research been done on computing the process in the reverse time direction?
That is, given a heat map $...
- 119