All Questions
10,449 questions
1
vote
0
answers
153
views
On sequence of functions $(h_n)$ satisfying $\Vert\sum_{n=1}^\infty f * h_n\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert$ for all $f\in L_1(G)$
Let $(h_n)$ be a sequence of non-zero functions in $L_1(G)$ (where $G$ is a locally compact group) with the property
$$
\left\Vert\sum_{n=1}^\infty f * h_n\right\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert
...
- 1,697
1
vote
0
answers
269
views
$L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?
Let $\mathbb T$ be a circle group.
In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, $L^...
- 1,051
1
vote
1
answer
273
views
Different definitions of Morrey and Campanato Spaces
The book by Giaquinta defines Campanato spaces using the seminorm:
$$[u]_{p,\lambda} = \left(\sup_{\substack{{x_0\in\Omega \\ 0<r<\text{diam}(\Omega)}}}r^{-\lambda}\int_{B_r(x_0)\cap\Omega}|u(x)...
- 447
1
vote
0
answers
123
views
$L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?
Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact (...
- 13
1
vote
0
answers
281
views
Clarkson's inequalities for Banach space valued functions
In standard analysis, Clarkson's inequalities expresses the norms of the sum and difference of two functions in $L^p$ in terms of the norms of the individual functions. In particular, one may use the ...
- 777
1
vote
0
answers
198
views
Measurability of a map that takes a functional to its composition with a linear operator
Let $(X,\Sigma_X)$ be a measurable space such that $\Sigma_X$ is countably generated.
Let $B_b(X)$ be the Banach space of all bounded $\Sigma_X$-measurable functions $X\to\mathbb{R}$ equipped with the ...
user12713
1
vote
0
answers
134
views
Comparison principle using truncation for porous medium equation
For a porous medium equation (eg. $u_t - \Delta \Phi(u) = f$), is it possible to obtain a comparison principle for very weak solutions (eg. if $u_0 \geq 0$ and $f \geq 0$ then $u \geq 0$ a.e.) using ...
- 43
1
vote
0
answers
170
views
A question about Smulian lemma
Smulian lemma says Let $(X, ||.||)$ be a Banach space and$(X^*, ||.||^*)$ and let $x\in S_X=\{x\in X:||x||=1\}$ then
(i) $||.||$ is Frechet diffrentiable at $x$ iff $\lim\limits_{n\to\infty}||f_n-...
- 823
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
- 108
1
vote
0
answers
218
views
Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?
Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where $...
- 11
1
vote
0
answers
102
views
Differentiable Path of Operators and their Inverses
Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...
- 11
1
vote
0
answers
122
views
Inverse of matrix of generalised harmonic numbers
For $s=0,1,\dots$ and $n=1,2,\dots$, denote $r_{n,s}=\sum_{k=1}^n k^s$. It is well-known that $r_{n,s}$ are polynomials in $n$ with leading term $\frac{1}{s+1}n^{s+1}$. Let $R_{n,s}$ be the $(s+1)\...
- 959
1
vote
0
answers
145
views
convergence of supergradient
Let $\{g_n\}$ be a sequence of concave functions defined on $\mathbb{R}$ and set
$$\lambda_n(x)=\lim_{\Delta x\to 0+}\frac{g_n(x+\Delta x)-g_n(x)}{\Delta x}$$
Assume there exists a concave function ...
- 1,835
1
vote
0
answers
217
views
convergence of concave envelope
Let $\{f_n\}$ be a sequence of uniformly upper bounded functions defined on $\mathbb{R}$ s.t. for every $x\in\mathbb{R}$
$$f_n(x)\to f(x),~ n\to\infty$$
Define $g_n$ and $g$ as the concave envelope ...
- 1,835
1
vote
1
answer
88
views
Embedding to $L^\alpha(0,T;L^\beta(\Omega))$
Good day!
Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$.
Consider the space
$W = \{ y \in L^2(0,T;V) \colon dy/dt \in L^2(0,T;V') \}$.
It is well-known that $W \subset C([0,T];H)$ where $H = ...
- 243
1
vote
0
answers
380
views
If an upper semicontinuous multivalued map is compact on a set, is it compact on the boundary as well?
I have stumbled upon the following problem during my research:
Let $X$ and $Y$ be Banach spaces, $K\subset X$ nonempty, $F:\overline{K}\rightarrow 2^{Y}$ an upper semicontinuous multivalued map with ...
- 11
1
vote
0
answers
57
views
Looking for CDFs that I can integrate a particular transformation of
I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate
$$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
- 11
1
vote
0
answers
112
views
Existence of orthogonal projections generating Von Neumann algebras
Let $V$ and $V'$ be Abelian Von Neumann algebras of projections on some Hilbert space $H$, and let $V_{1}$ and $V_{2}$ be minimal sub-algebras of $V$ and $V'$ generated by projections $P_{1} \in V$ ...
- 631
1
vote
0
answers
147
views
Bounding Rayleigh quotient for stochastic matrix
Suppose you have an irreducible, stochastic matrix $A$ with left Perron-Frobenius eigenvector $v$ (corresponding to the eigenvalue $1$), and suppose the next largest eigenvalue for $A$ is $\lambda$. ...
- 121
1
vote
0
answers
134
views
on high order Laplacian
Roughly speaking, we have good understanding of the solution to heat equation $u_t-\Delta u=0$, on bounded or unbounded domain. For example, we know the decay rate, we know it generates analytic ...
- 39
1
vote
0
answers
84
views
About the group generated by one diagonal unitary
Suppose $D=diag\{\alpha_1,\alpha_2,...\alpha_n\}$ is a diagonal unitary, which means that |\alpha_i|=1 for all $i$. We know that $\alpha_i$ is not unit root and so is $\alpha_i/\alpha_j$ for $i\neq j$....
- 1,503
1
vote
0
answers
127
views
Mixed Tsirelson Norm
A couple of days ago I posted this question on Mathematics Stack Exchange. Surprisingly, so far, I haven't received any answers or comments about it (besides my own possible answer). Maybe I can get ...
- 125
1
vote
0
answers
331
views
Relationship between weak Lp and strong Lq topologies for q<p
Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
- 203
1
vote
0
answers
74
views
Closed for the motion of an interacting particle system
I am dealing with interacting particle systems approximately in the sense of http://www.math.vu.nl/~rmeester/onderwijs/Interacting_Particle_Systems/liggett.pdf p. 5 except I am reading a book by the ...
- 277
1
vote
0
answers
198
views
Passing to the limit in a PDE (subsequence problems)
For $w \in L^2(0,T;H^1)$, consider the PDE
$$\int u'(t)v(t) + \int g(w(t))\nabla u(t) \nabla v(t) = \int f(t) v(t)\quad \forall v \in L^2(0,T;H^1)$$
where $u \in H^1(0,T;L^2)\cap L^2(0,T;H^1)$, and $f$...
- 155
1
vote
0
answers
191
views
A "coarse" version of position operator and its properties
I am wondering if someone has ever studied the following operator in the context of quantum mechanics:
$$Q : L^2(\mathbb{R}) \to L^2(\mathbb{R})$$
$$(Q f)(x) := s(x) f(x),$$
where $s(x)$ is the ...
- 1,435
1
vote
0
answers
84
views
Parabolic partial differential equation, initial conditions
Let $U\subset\mathbb{R}^n$ be open bounded, $T>0$.
Given the parabolic PDE $$\partial_tf+a\partial_xf+b\partial_{xx}f = g \qquad (1)$$ I'm interested in the initial and boundary conditions that ...
- 11
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
- 1,051
1
vote
0
answers
246
views
Fractional Derivatives Of Sums
I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...
- 96
1
vote
0
answers
103
views
Regularity of weak solutions for a quasilinear problem
Theorem 6.2.7 in the book Nonlinear Analisis of Gasisnski and Papageorgiou states: If $u\in W^{1,p}(\Omega)\cap L^\infty(\Omega)$ and $\Delta_pu \in L^\infty(\Omega)$ then we have $u\in C^{1,\beta}_0(\...
- 11
1
vote
0
answers
1k
views
Inverse Transpose of Jacobian Matrix
Let $f:\mathbb{R}^n\mapsto\mathbb{R}^n$ be a bijective function. Fixed $a\in\mathbb{R}^n$. For any $x$ closes to $a$, using Taylor's series we can approximate $f(x)$ by
\begin{equation}
f(x)\approx f(...
- 133
1
vote
0
answers
168
views
Estimates on gradients of diffusion semigroups
Consider the Dirichlet or Neumann Laplacian on a manifold with boundary. Suppose we have some estimate of the form
$$||e^{t\Delta} f||_{L^p} \leq C(t)||f||_{L^q}$$ for some $p, q$. For a specific ...
- 11
1
vote
1
answer
214
views
well-posedness of heat equation with Neumann BC and periodic data
On a domain $\Omega$ with $f \in L^2(0,T;H^{-1})$ such that $f(0) = f(T)$, consider
$$u_t - \Delta u = f\quad\text{on $\Omega$}$$
$$\frac{\partial u}{\partial \nu} = 0\quad\text{on $\partial\Omega$}$$
...
- 85
1
vote
2
answers
353
views
How to show this integral on boundary of Lipschitz domain is finite?
Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} \frac{1}{|y|^{...
1
vote
0
answers
83
views
Topologies on spaces of linear sections
Let $X$ and $Y$ be topological linear spaces which are complete & Hausdorff, and admit dual spaces which separate points. Suppose the topologies are non-separable and non-metrizable.
Let $f : X \...
- 8,512
1
vote
0
answers
92
views
Scattering solutions for $L_2$ potentials
Consider the equation
$$
Lu = -\Delta u+v(x)u = Eu, \tag{1}
$$
where $x = (x_1,x_2) \in \mathbb R^2$, $v \in L_2(\mathbb R^2)$, $E>0$. Is it known that for almost any $E>0$ and for any fixed $...
- 1,329
1
vote
0
answers
91
views
Bound for $\Vert g\Vert_r$ when $ \Vert g-f\Vert_2<\varepsilon$
Let $f\in L^2(\mathbb{R}^n)$, $\varepsilon>0$ and $r\in[1,2)$. Define
$$ L_{r,\epsilon}:=\inf{\{\Vert g\Vert_r}:g\in L^1(\mathbb{R}^n)\cap L^2(\mathbb{R}^n),\, \Vert g-f\Vert_2<\varepsilon\}$$
...
- 21
1
vote
0
answers
129
views
Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f
If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
- 647
1
vote
0
answers
919
views
Compact integral operator
I have a question regarding compact integral operators on $L^{2}({\Omega})$ with $\Omega$ a bounded domain in $\mathbb{R^{n}}$ Suppose we are given $T$ from $L^{2}(\Omega)$ to $L^{2}(\Omega)$ as $Tf(x)...
1
vote
0
answers
154
views
A problem concerning measures on locally compact spaces
I am stuck on a question for quite sometime now, although in the text it is said to be "apparent". The problem goes as the following :
Let $X$ and $Y$ be locally compact Hausdorff spaces. Then $M(X)$ ...
- 111
1
vote
0
answers
295
views
Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?
I first specify the setting and then formulate the question precisely. (A very long post follows.)
Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...
- 3,584
1
vote
0
answers
135
views
growth bound for solution of an ordinary integro-differential equation
I am considering the following ordinary integro-differential equation
$$
A g = \sigma^2(y) + \int_\mathbb{R} \nu(y,dz) z^2
$$
where
$$
A = b(y) \partial + \frac{1}{2} \sigma^2(y) \partial^2
+ \int_\...
- 11
1
vote
0
answers
134
views
Tauberian measures on a locally compact abelian group
Given a locally compact abelian group $G$ with Haar measure $m$, it is well-known that there exist measures $\mu\in M(G)$ which are singular (with respect to $m$), but the convolution product $\mu\ast\...
- 4,461
1
vote
0
answers
269
views
M-matrix with nonconstant entries properties
I have a matrix $J(x)$ with $J_{ij}(x)=f_{ij}(x)$ where vector $x$ is $x=x_1, x_2, ..., x_m$. I have shown that $J(x)$ is an M-matrix for all $x$. There is known review paper by Plemmons (1977) of 40 ...
- 11
1
vote
0
answers
181
views
Infinite dimensional quotients of L_1 by isomorphic subspaces
Let $M$ be a subspace of $L_1(0,1)$. If the subspace $M$ is isomorphic to $L_1(0,1)$ and complemented, then the quotient $L_1(0,1)/M$ is clearly non-reflexive if it is infinite dimensional. So as we ...
1
vote
0
answers
258
views
Is an exact operator, unitary equivalent to a banded operator?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis.
$T \in B(H)$ is ...
1
vote
0
answers
145
views
inner product in Banach space [duplicate]
is there a continuous inner product in every non separable Banach space $X$? I.e.
Does exist a symmetric non degenerate positive definite bilinear form $f:X\times X\to \mathbb{R}$ such that $|f(x,y)|...
- 11
1
vote
0
answers
100
views
Conditions on a measure to satisfy certain relation on moments.
Suppose we have a measure $\mu$ on $\mathbb R_+$ such that $\forall s>-1$ $t^s\in L^1(\mathrm d\mu(t))$.
I'd like to impose some conditions on $\mu$ so the function
$$f:p\to \frac{\int_0^\infty t^...
- 173
1
vote
0
answers
352
views
Estimate the diagonal of a Cholesky factor...?
I'm computing several hundred Cholesky factorizations of large, sparse matrices, and I'm really only doing Cholesky factorization because I need to know the diagonal elements of the Cholesky factor L. ...
- 11
1
vote
0
answers
122
views
Checking initial condition of PDE is satisfied in Galerkin method
I asked this question here: https://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method
But I did not receive the solution so I post it here.
...
- 21