Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
58 views

Infinitesimal generators of random evolutions

Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
Gabriel's user avatar
  • 31
0 votes
1 answer
123 views

Proving a Fourier transform inequality for functions with mixed variable bounded support

I'm working on a problem involving the Fourier transform and have encountered an inequality that I am unsure how to prove. I would greatly appreciate any help or guidance you can provide. Let $\gamma\...
Julian Bejarano's user avatar
2 votes
1 answer
258 views

Differential equation involving square root

I am absolutely not familiar with differential equations. However, I am facing the following differential equation: \begin{equation} a(x)y^{\prime}(x)+b(x)y(x)=c(x)\sqrt{y^{2}(x)+d(x)} \end{equation} ...
Dennis Marx's user avatar
1 vote
0 answers
51 views

Compact embeddings RKHSs into Sobolev Spaces

Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
Sam_the_Sampler's user avatar
8 votes
1 answer
537 views

Reference request: Expository paper on the use of functional analysis in differential and integral equations

Some textbooks on functional analysis do not hint that a major raison d'être of the subject is its use in the study of differential and integral equations. The reader could go all the way through ...
Michael Hardy's user avatar
3 votes
0 answers
196 views

Towards Schauder estimates: smoothing effect of the semi-group generated by $\Delta+(-\Delta)^{1/2}$

Consider the semi-group $(P_r)_r$ generated by $\Delta+(-\Delta)^{1/2}:$ for a distribution $f$ let $P_rf:=p(r,\cdot)*f$ where $p(r,x):=\sum_{q \in \mathbb{Z}^d}e^{2\pi\mathrm{i}\langle q,x\rangle}e^{-...
mathex's user avatar
  • 573
3 votes
1 answer
228 views

Is compact-open topology stable with respect to injective limits?

Let $X$ be a locally convex space, and $\{Y_i;\ i\in I\}$ a covariant system of locally convex spaces over a partially ordered set $I$, i.e. a system of linear continuous mappings is given $\sigma^j_i:...
Sergei Akbarov's user avatar
3 votes
1 answer
199 views

Can gradient zero implies that a function is constant with Hörmander vector fields

Let $X=(X_1,\cdots,X_m)$ be a system of Hörmander vector fields defined on $\mathbb{R}^n$. The Sobolev space $W_{X}^{1,p}(\Omega)$ is defined by $$W_{X}^{1,p}(\Omega):=\{u\in L^p(\Omega)|X_iu\in L^p(\...
Houa's user avatar
  • 561
1 vote
0 answers
34 views

Discrepancy between probability measures, tested against bounded functions of bounded variance

When studying some concentration inequalities, it became relevant to consider the following discrepancy between two probability measures $\pi$ and $\nu$ (treating $\sigma \in \left( 0, \frac{1}{2} \...
πr8's user avatar
  • 801
2 votes
1 answer
94 views

Quasilinear wave equations without (weak) null conditions and conjectures

I have found that most works on quasilinear wave equations require, at least, the (weak) null condition. There are only a few works without this condition, such as "Shock Formation in Small-Data ...
lsb's user avatar
  • 89
1 vote
1 answer
132 views

Deriving a specific bound for functions in Hardy Space

Reading some article a while ago I read the following: (here $H^2$ represents the Hardy space) Let $f\in H^2$ be such that $f(0)=1$, and let $0<\lvert\lambda\rvert<1$, then $$\lVert f(\lambda z)\...
Tomas smith Smith's user avatar
0 votes
0 answers
66 views

Equality between operators, on dense subspace, from a quadratic form point of view

Let $L \ge 1$ and consider a finite box $\Omega = [0,L]^{d} \subset \mathbb{R}^{d}$. The set of functions: $$\psi_{p}(x) = \frac{1}{L^{d/2}}e^{i\langle p,x\rangle} \quad p\in \frac{2\pi}{L}\mathbb{Z}^{...
MathMath's user avatar
  • 1,305
6 votes
1 answer
528 views

A functional equation

I am working on some physics problem and got stuck with the following equation: Let $a$ be a very small positive number. Is there a bounded function $F$, $0 \leq F \leq 1$, such that for all $x \in \...
Enumerator's user avatar
3 votes
0 answers
69 views

Perturbation of one-parameter groups of unitary operators

Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
Ruy's user avatar
  • 2,263
2 votes
0 answers
94 views

Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces

Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
Bogdan's user avatar
  • 1,759
0 votes
1 answer
150 views

When are infimal convolutions contractions?

Let $X$ be a separable Fréchet space and $\varphi,\psi:X\to \mathbb{R}$ be a lower semi-continuous and convex function with $\psi$ bounded below and coercive. Consider the infimal convolution $$ \...
Math_Newbie's user avatar
6 votes
1 answer
292 views

Analytic maps on Banach spaces: analyticity upgrade

Consider the following problem. Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and $$ f:U\to G $$ an analytic map, such ...
Lorenzo Pompili's user avatar
2 votes
0 answers
83 views

What is Lipschitz constant of the radial renormalization $(X,\|\cdot\|_a) \rightarrow (X,\|\cdot\|_b)$ on a normed vector space $X$

Suppose that $X$ is a vector space with two norms $\|\cdot\|_a$ and $\|\cdot\|_b$. The mapping $$ f(x) = \frac{\|x\|_{a}}{\|x\|_{b}} x, \qquad \forall x \in X, $$ with $f(0)=0$ is a radial and maps ...
shuhalo's user avatar
  • 5,327
3 votes
0 answers
148 views

Embeddings of Bochner-Sobolev spaces with second time derivative

NOTE: I also asked this question here in MSE. In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
MathsGoose's user avatar
0 votes
1 answer
151 views

Super-reflexivity is separately determined

I've found this result that states that super-reflexivity is separably determined, i.e., if every separable subspace $Y\subset X$ of a Banach space is superreflexive then $X$ itself is superreflexive. ...
Michelangelo's user avatar
3 votes
1 answer
182 views

Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras, is there any good notion of "normal bundle of $B$ in $A$"?

Let $\phi : A \to B$ be a surjective $*$-homomorphism of star algebras (maybe more restricted kind of star algebra), is there any good notion of "normal bundle of $B$ in $A$"? By a "...
admircc's user avatar
  • 31
4 votes
3 answers
473 views

Generalized Fuchsian-type PDE

Consider $$ \big(1+ t\partial_t\big) \left(\partial^3_x+ {6\over x}\partial^2_x + {6\over x^2}\partial_x\right)A(x,t)+ {t\over (1-x)^3} A(x,t)=0 $$ with the initial condition $A(x,0)=1$. In a small $t$...
Math2024's user avatar
  • 141
2 votes
2 answers
151 views

Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} $ We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
Akira's user avatar
  • 825
1 vote
1 answer
127 views

approximating differentiable functions with double trigonometric polynomials

Let $Q = [0,1]^2$. For sake of notation, let $$ f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi). $$ Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if $$ \|...
Doofenshmert's user avatar
-2 votes
1 answer
241 views

Does a group representation being transitive on a basis imply irreducibility?

Let $G$ be an infinite discrete group and $\pi$ a representation of $G$ on the Hilbert space $H$. Suppose that the group representation is transitive on an orthonormal basis $B = \{e_j\}_{j=1}^{\infty}...
Filipe Viseu's user avatar
0 votes
0 answers
95 views

Orthogonalization of symmetric non-degenerate bilinear forms

It is well-known that given a field $k$ with characteristic different from $2$, every symmetric non-degenerate bilinear form $B$ over a finite-dimensional space can be orthogonalized. This means that ...
Luiz Felipe Garcia's user avatar
0 votes
0 answers
34 views

Locally compact groupoid with range map restricted to isotropy groupoid is open

Suppose the action groupoid 𝐺=𝐻⋉𝑋, where 𝐻 is a locally compact group and 𝑋 a locally compact space is such that isotropy subgroups of H are isomorphic to each other. Can this be an example of a ...
K N SRIDHARAN NAMBOODIRI's user avatar
3 votes
1 answer
210 views

A few points of clarification on the Martin boundary

Let $\Gamma$ be a finitely generated group, and let $M$ be the Martin boundary of $\Gamma$. I was reading the article on Martin boundary on Encyclopedia of Math, and I have a few questions about what ...
SMS's user avatar
  • 1,407
2 votes
1 answer
216 views

Forming real positive semidefinite matrices from complex matrices

I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices. Let $Q \in \...
Mthpd's user avatar
  • 31
2 votes
0 answers
137 views

Why a function induced by the infimum of the arclength of curves is Lipschitz?

Recently I have read a paper "Weighted Trudinger-type Inequalities" written by Stephen M. Buckley and Julann O'Shea and published by Indiana University Mathematics Journal in 1999, MR1722194,...
Javier's user avatar
  • 69
4 votes
3 answers
482 views

Does the uniform boundedness principle holds for multilinear maps as well?

This question has been motivated by weak* completeness of distributions. According to the answer in the above post, any barrelled locally convex topological vector space $E$ satisfies the uniform ...
Isaac's user avatar
  • 3,477
1 vote
0 answers
88 views

Schauder estimate for $f \in L^\infty$

I was reading an article where at some point the author uses the following estimate: Let $u$ be a solution of $$\Delta u = f \quad \text{in } B_1$$ for $f \in L^\infty$. Then $u \in C^{1,1 - \...
Falcon's user avatar
  • 452
0 votes
0 answers
116 views

Integral of a measurable function with parameter is measurable?

Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that: $f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$ $f(\...
Bogdan's user avatar
  • 1,759
4 votes
1 answer
211 views

Local solutions of renormalized stochastic PDE

To illustrate the problem consider the mild formulation of the $\Phi^4_2$ model on $[0,T]\times \mathbb{T}^d$: $$\phi=P_r\phi_0+\int_0^rP_{r-q}(-\phi^3(q))dq+Y_r \ \ \ \ \ \ (1)$$ where $(P_r)_{r \...
mathex's user avatar
  • 573
6 votes
1 answer
252 views

Poisson kernel for the orthogonal groups

For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
thedude's user avatar
  • 1,549
2 votes
0 answers
37 views

Definition of coercive boundary value problems

In Folland's Introduction to PDE,page 242, he defines what it means for a Dirichlet form to be coercive (a standard definition). Let $X$ be a closed subspace of $H_m(\Omega)$ with $H_m^0(\Omega)\...
SnowRabbit's user avatar
0 votes
0 answers
56 views

What is the maximum of $ \frac{\sin(n(x+a))}{\sin(x+a)} + \frac{\sin(n(x-a))}{\sin(x-a)}$?

I have asked this here. Due to inactivity and no satisfying answers, I am asking here. Hope that's okay. We know the global maxima of the function $\frac{\sin(nx)}{\sin(x)}$ is $n$ (thanks to this ...
RajaKrishnappa's user avatar
0 votes
0 answers
85 views

Measurable selection for the mean value theorem

When we use the mean value theorem we come across the problem of measurability of the argument. The problem is somehow like that: Let $f:\Omega\times [0,1]\to\mathbb{R}$ be a Caratheodory function (i....
Bogdan's user avatar
  • 1,759
2 votes
0 answers
102 views

Existence of unique-up-to-shift solution of a Volterra equation

Let $\Delta=\{(t,s):\ 0<s\leq t\leq1\}$, and suppose $k:\Delta\to\mathbb R$ and $f:(0,1]\to\mathbb R$ are continuous. Further assume that for every $t\in(0,1]$, the function $k(t,\cdot):(0,t]\to\...
e.lipnowski's user avatar
6 votes
1 answer
342 views

If $t \to \lVert f(\cdot,t) \rVert_{L^2_x}^2$ is absolutely continuous, can we interchange the spatial integral and time derivative? (from MSE)

I originally posted this question on MSE. But it seems more nontrivial than expected, so I guess MO is a more appropriate place to ask. I repeat the question for the sake of completeness: Let $f(x,t) ...
Isaac's user avatar
  • 3,477
7 votes
2 answers
2k views

Method of characteristics for higher order PDEs in more than two variables

I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
Puzzled's user avatar
  • 8,998
4 votes
1 answer
173 views

Viscosity solutions of eikonal equation on Riemannian manifolds

It is well known that given a bounded open region $\Omega \subset \mathbb{R}^n$, the Dirichlet problem $$\lVert \nabla u \rVert = 1, \quad u|_{\partial \Omega} = 0$$ admits the unique viscosity ...
ChesterX's user avatar
  • 235
3 votes
1 answer
102 views

Literature containing basic knowledge of homogeneous functions

Let $D$ be a nonempty open subset of $\mathbb{R}\times\mathbb{R}$ and $f:D\to\mathbb{R}$ be a function of two variables. For all $(x,y)\in D$ and $t>0$ such that $(tx,ty)\in D$, if the equality $f(...
qifeng618's user avatar
  • 1,101
2 votes
1 answer
246 views

Inequality with Hermite polynomials

Consider the (physicist's) Hermite polynomials $H_n(x)$ which are divided by $$\sqrt{\sqrt{\pi} 2^n n!}$$ for the purpose of normalization. These are orthogonal with respect to the weight function $e^{...
T. Amdeberhan's user avatar
9 votes
1 answer
337 views

Characterizing germs of smooth functions

There's a sheaf of smooth real-valued functions on $\mathbb{R}$, and its germ at $0$ is some vector space $V$. I would like to understand this space. There is a surjective linear map $$ \phi \colon ...
John Baez's user avatar
  • 22.3k
0 votes
1 answer
104 views

Equivalence of Wind Forces: Intensity vs. Duration [closed]

The strongest tornado in the world happened recently in Greenfield Iowa with winds over 318 mph: https://www.facebook.com/watch/?v=2176728102678237&vanity=reedtimmer2.0 I am curious, are less ...
user avatar
2 votes
1 answer
148 views

Is projection of a closed subspace Borel?

Specifically, letting $E$ be a separable infinite-dimensional real Banach space, and $D_2$ in $E\times E$ a closed linear subspace, is then $\{\,x:\exists\,y\,;(x,y)\in D_2\}$ a Borel set in $E\,$? ...
TaQ's user avatar
  • 3,584
17 votes
0 answers
677 views

Are dualizable topological vector spaces finite-dimensional?

Consider the symmetric monoidal category TVS of complete Hausdorff topological vector spaces equipped with the completed projective, injective, or inductive tensor product. Every finite-dimensional ...
Dmitri Pavlov's user avatar
2 votes
0 answers
119 views

Estimates for solution to linear elliptic equations

Let $A$ be a symmetric, uniformly elliptic constant matrix with $\lambda \leq A \leq \Lambda$. Consider the weak solution (which is smooth from standard elliptic theory) $u \in W_{loc}^{1,2}$ solving $...
Adi's user avatar
  • 455
2 votes
0 answers
136 views

Towards the KPZ: Wiener-Ito integral, Kolmogorov type criterion

Consider a space-time white noise $\xi$ and the heat semi-group $(P_r).$ The following Kolmogorov type criterion allows to construct modifications in Besov Space (Here we have a partition of unity $(\...
mathex's user avatar
  • 573

1
7 8
9
10 11
259