All Questions
4,469 questions with no upvoted or accepted answers
0
votes
0
answers
103
views
Multiplier of Banach algebras
Let $A$ be a Banach algebra and $M(A)$ be its multiplier Banach algebra. Is there any correspondence between closed two sided idaels of $A$ and closed two sided idaels of $M(A)$?
Can we see that ...
- 565
0
votes
0
answers
272
views
Fixed-point iteration depending on a parameter
Let $f\colon X\times \mathbb{R}\to X, (x,\varepsilon)\mapsto y$, with $X$ open, be a continuous function in both arguments. Consider the following fixed-point iteration
\begin{align}
x_{k+1} = f(x_k,\...
- 2,712
0
votes
0
answers
343
views
A question on weak formulation of the p-laplacian operator
Can it be said that $$\int_{\Omega}\Delta_p u |\phi|^{p-2}\phi dx=\int_{\Omega}\Delta_p \phi |u|^{p-2}u dx\qquad\forall \phi\in C_0^2(\overline{\Omega})$$ is the generalized weak formulation of $$\...
- 157
0
votes
0
answers
59
views
Restriction to Basis of Cadlag function
If $f \in L^2([0,T])$ then it can be written as
$$
f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t),
$$
for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
- 5,405
0
votes
0
answers
68
views
duals of subspaces of DF-spaces
Let $X$ be a complete barrelled DF-space and $Y$ its closed subspace. As can be seen the dual $(Y',\beta(Y',Y))$ is metrizable. Does it follow it is also complete?
- 375
0
votes
0
answers
119
views
Gauge Fixing Problem on Cylindrical
For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...
- 1,915
0
votes
0
answers
120
views
A topology on the product space of Euclidean space and smooth functions space
I'd like to know if there is a well-known topology on the space $S := \mathbb R \times C^\infty(\mathbb R)$, such that $(x_n, f_n) \to (x, f)$ in $S$ with respect the topology is equivalent to
$$(x_n,...
- 1,399
0
votes
0
answers
378
views
compact injection
Put:
$D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$
Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...
- 135
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
- 195
0
votes
0
answers
132
views
approximating smooth functions by non-smooth ones, in the distribution topology
The classical Stone-Weierstrass theorem gives a necessary and sufficient condition for a class of continuous functions on a compact to approximate a larger class of continuous functions in $C^0$ ...
- 4,070
0
votes
0
answers
194
views
Johnson's Theorem - Proof (Runde) Clarification
I am reading Runde's Lectures on Amenability. In the proof of Johnson's theorem where he proves "$L^{1}(G)$ is amenable Banach algebra implies $G$ is amenable" : he defines a $L^1(G)$ bimodule action ...
- 185
0
votes
0
answers
271
views
Convolution Integral involving an unknown function
I've got the following problem I'm working on which is related to some of my research.
I am trying to solve the following equation for the function $f$.
$$t^{-\alpha} \exp{ \left(- \beta x^2 t^{-2 \...
- 281
0
votes
0
answers
131
views
Measurable sets of probability measures $\{\mu \in M: (\mu \times \mu)(A) \in B\} \in \mathscr{M}$
Let $(X,\mathscr{F})$ be a measurable space, and let $M$ be the set all probability measures $\mu: \mathscr{F} \to [0,1]$. Let us denote with $\mathscr{M}$ the $\sigma$-algebra on $M$ generated by the ...
- 119
0
votes
0
answers
85
views
Some problems about symmetric convolution semigroup on the unit circle
These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes".
Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
- 369
0
votes
0
answers
64
views
Approx the jump point of a $BV$ function from both hand side
Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as
$$
u(x)=
\begin{cases}
0,&\text{ if }x\in(-1,0)\\
1,&\text{ if }x\in(0,1)
\end{cases}
$$
Clearly, we have $u\in ...
- 679
0
votes
0
answers
322
views
Comparison of Parameter estimation using maximum likelihood and Maximum entropy
I am not sure if the question is appropriate but I want to try my luck. One can estimate a parameter using maximum likelihood and we know it is optimal. On the other hand there are methods which uses ...
- 495
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
0
votes
0
answers
123
views
On the operators from $l_{p}$ into Tsirelson's space $T$
Let $1<p<2$. My question is: Is any operator from $l_{p}$ into Tsirelson's space $T$ compact?
- 3,343
0
votes
0
answers
54
views
Left introversion operators associated to function spaces on semigroups
I am stuck on the following question for quite sometime now. Please help, any comment is welcome.
Let $S$ be a topological semigroup and $\mathcal{F}$ be a translation invariant, conjugate closed ...
- 1
0
votes
0
answers
344
views
Beurling density $D(X)$ of $X=\{x_j\in\mathbb R, \ |x_j-x_{i}|>\gamma>0: \ i,j\in\mathbb Z\}$
Beurling density of set $X$ is defined (see, for example "Nonuniform Sampling and Reconstruction in Shift-Invariant Spaces" by Aldroubi and Grochenig) as:
$$D(X)=\lim_{r\rightarrow \infty} \inf_{y\in\...
- 297
0
votes
0
answers
371
views
Harmonic function with Dirichlet boundary condition
Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...
- 1
0
votes
0
answers
510
views
Composition of upper semi-continuous real valued function with upper semi-continuous matrix valued function
Say that a matrix valued function $A: \mathbb{R} \rightarrow \mathbb{R}^{n \times n}$ is upper semi-continuous at $x_0$ if
$$ \limsup_{x \rightarrow x_0} A(x) \preceq A(x_0), $$
where $\preceq$ ...
- 1,590
0
votes
0
answers
116
views
Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane
We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$.
What is ...
- 5,063
0
votes
0
answers
115
views
When do block sequences yield disjoint subspaces?
Let $X$ be a Banach space having a (unconditional, normalized) Schauder basis $(e_n)_n$. Suppose that $Y$ and $Z$ are (closed) block subspaces of $X$ having normalized block bases (with respect to $(...
- 3,115
0
votes
0
answers
63
views
The union of weighted compact supported continuous function
Let $\Omega\subset \mathbb R^N$ be open. Given a weight function $v\geq 1$ such that $v\in L^1_{\text{loc}}(\Omega)$ and $l.s.c$. Also supposethere exists a Lipschitz continuous sequence $v_n$ such ...
- 679
0
votes
0
answers
107
views
Under which conditions is the union of conic hulls of sets in a cartesian product equal to $\mathbb{R}^N$?
Question: Under which conditions on $A, B\in\mathbb{R}^{N\times N}$ is the function $f: \mathbb{R}^N\mapsto \mathbb{R}^N$,
$$f(v) = A[v]_+ + B[-v]_+$$
surjective? Here $[.]_+$ is an elementwise ...
- 123
0
votes
0
answers
188
views
One parameter family differentiable dependence for linear parabolic pde's
Consider for example, the Black Schole's equation
$$
\partial_tu+0.5\sigma^2s^2\partial_{ss}u+rs\partial_su-ru=0
$$
on $[0,T]\times[0,\infty)$ subject to boundary conditions $u(s,T)=f(s)$.
The ...
- 383
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
- 679
0
votes
0
answers
54
views
Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$
Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin.
Is it true that
$$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...
- 1
0
votes
0
answers
144
views
Unitarizability of group representations
Let $G$ be a Lie (or more general) group. Consider its continuous representation in a Banach space by isometries, i.e. preserving the Banach norm. Under what conditions this representation is ...
- 21.8k
0
votes
0
answers
407
views
What does the Plancherel theorem say about positive-definite distributions?
I'm trying to understand the answer to this MO question: Bochner's theorem for measures of positive type, which suggests a relationship between Bochner's theorem and the Plancherel theorem.
The ...
- 3,799
0
votes
0
answers
82
views
Construction of a path of quadratic variation
This question has been posted to Stack Exchange earlier, and no answer is available yet.
Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval
is defined by
$$V_{p}(x, [a, b]) =...
- 1,399
0
votes
0
answers
109
views
solutions of elliptic linear pde depending analytically on a parameter
Fix $ \Omega$ a bounded smooth domain in $ R^N$ and suppose $0<w(x)$ is a smooth solution of $ -\Delta w(x)=w(x)^2$ in $ \Omega$ with $ w=0$ on $ \partial \Omega$ (were are assuming $2< \frac{N+...
- 1,385
0
votes
0
answers
266
views
Maximizing Expected Utility
I am currently trying to solve a maximization problem given by
$\max_{f(x)} \int_0^1 \int_\mathbb{R} (c-y\cdot f(x)-d\cdot (x+f(x)-b)^2) \ h(x) \ dx \ dy$.
Or in other words, I have a utility ...
0
votes
0
answers
808
views
Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$
Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
0
votes
0
answers
152
views
The Lebesgue measure of the low level sets of the two-dimmension Fourier transform of a compactly supported function
Let $f\in {{L}^{1}}\left( {{\mathbb{R}}^{2}} \right)$ be a density function with the support $\operatorname{supp}\left( f \right)\subset \left[ a,b \right]\times \left[ c,d \right]$. Denoted by $\hat{...
- 141
0
votes
0
answers
137
views
Heat asymptotics
Consider a compact manifold $M$ with smooth boundary, with either the Dirichlet or the Neumann boundary conditions. Consider a (time-dependent) open ball $B_t \subset M$. Given a fixed $u \in L^1(M)$, ...
- 11
0
votes
0
answers
358
views
Boundedness of heat semigroup on $L^1(\Omega)$
On a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary, consider the Laplacian $-\Delta$ with either the Dirichlet or Neumann boundary conditions. More generally, one can also consider ...
- 1
0
votes
0
answers
187
views
About equivalence of two fractional Sobolev/Hilbert spaces
Let $(\varphi_k, \lambda_k)$ be the eigenelements of the Neumann Laplacian. It's possible to define a space
$$H(\Omega) = \{ u \in L^2(\Omega) \mid \sum_{k \geq 1}\lambda_k^{\frac 12}|(u,\varphi_k)_{L^...
- 251
0
votes
0
answers
377
views
Densely-defined operator with closed range: conditions for operator closed
Suppose we have Banach spaces (or Hilbert spaces) $X$ and $Y$,
and a densely-defined linear operator $A : \operatorname{dom}(A) \subset X \rightarrow Y$ that is densely-defined and with closed range. ...
- 5,327
0
votes
0
answers
150
views
smoothness of green's function in wave equation
I have a linear acoustic wave propagation originated from a monopole source, written as
\begin{align}
\mathcal{L}p(\mathbf{x},t) = S_m(\mathbf{x},t), \quad \mbox{in } \Omega
\end{align}
where the ...
0
votes
0
answers
81
views
Approximation property of Fréchet if range is restricted to an embedded Hilbert space
Let $W$ be a separable Fréchet space, and $H\subset W$ be a separable Hilbert space that is continuously embedded (equivalently, the topology of $H$ is stronger than the subspace topology generated by ...
- 320
0
votes
0
answers
201
views
Range of a trace preserving completely positive projection
I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is
$$\text{Tr}(P(A)) = ...
- 515
0
votes
0
answers
121
views
A special approximation of BV functions
Suppose $\Omega:=B(0,1)\subset \mathbb R^2$. Let $u\in BV(\Omega)$ be a radially symmetric, i.e., $u(x)=u(Rx)$ for all $R\in SO(2)$. In addition, suppose $w$ to be an affine function,. i.e., $\...
- 679
0
votes
0
answers
256
views
Explicit formula for Bergman kernel on the unit ball
On page 173 in Krantz's book "Explorations in Harmonic analysis" in the proof of Lemma 7.1.21 there is a part that I really don't understand. What I don't understand is why is $$\sum_{\alpha}\frac{z^{\...
- 325
0
votes
0
answers
114
views
Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space
Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map $...
- 5,529
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
- 1,771
0
votes
0
answers
127
views
Approximation Property: Characterization
Problem
Given a Banach space $E$. Denote compact sets by $\mathcal{C}$, compact operators by $\mathcal{C}(X,Y)$, and finite rank operators by $\mathcal{F}(X,Y)$.
Suppose it has the approximation ...
- 598
0
votes
0
answers
156
views
Compact Approximation
This thread originated from MSE: Compact Approximation
This is meant as lemma for: Approximation Property
Given a Banach space $E$.
Denote compact domains by $\mathcal{C}$.
Denote compact ...
- 598
0
votes
0
answers
351
views
Existence of a complementary closed subspace extending a given subspace
Let $H$ be an infinite dimensional (separable) Hilbert space (or any infinite dimensional Banach space in which every closed subspace has a complementary subspace). Suppose that $X$ and $Y$ are closed ...
- 3,115