Skip to main content

All Questions

3,601 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0 votes
0 answers
308 views

Invertible operator

We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$ We hope to prove that $T$ is invertible if and only if $L = n\pi $. and for this ...
Gustave's user avatar
  • 617
0 votes
0 answers
84 views

Under what conditions on $\mu^{\beta}$ we have $L_1(\beta X,\mu^{\beta})$ isometrically isomorphic to $L_1(X,\mu)$?

Let $X$ be a locally compact Hausdorff space, $\beta X$ its Stone-Cech compactification and $\Delta: X\to\beta X$ the inclusion map. Given a Borel probability measure $\mu^{\beta}$ over $\beta X$, is ...
Leandro's user avatar
  • 2,044
0 votes
0 answers
59 views

Differential operator

One define the operator $T$ as :$$T: = (I - {{{\partial ^2}} \over {\partial {x^2}}}):H_0^1(0,L) \cap {H^2}(0,L) \to {L^2}(0,L) $$ let $f \in H_0^2(0,L) \cap {H^4}(0,L)$. What can we say about ${T^{ - ...
Gustave's user avatar
  • 617
0 votes
0 answers
58 views

in search of convergent daughter sequences

Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$. Question. Is there a subsequence $\{f_{...
T. Amdeberhan's user avatar
0 votes
0 answers
263 views

Does AX+XA=0 have any non-trivial solutions?

Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
Kinzlin's user avatar
  • 305
0 votes
0 answers
156 views

amenable locally compact group

Let $\tau_1,\tau_2 $ be topologies on group $G$ such that $(G,\tau_1),(G,\tau_2)$ be a locally compact group. Let $\tau_1\subseteq\tau_2$ and $(G,\tau_2)$ be an amenable group, when $(G,\tau_1)$ ...
Albert harold's user avatar
0 votes
0 answers
188 views

semi simple Banach algebra

Let $G$ be a non-abelian locally compact group, $M(G)$ be the measure algebra and $B(G)$ be the Fourier Stieltjes algebra of $G$.. Question. When are $M(G)$ and $B(G)$ semi-simple?
Albert harold's user avatar
0 votes
0 answers
89 views

If $H$ is the closure of the set of solenoidal smooth vecor fields in $L^2$ and $P_H$ denote the orthogonal projection onto $H$, then $P_HH_0^1⊆H_0^1$

Let $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be open $\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$ and $$H:=\overline{\mathcal V}^{\left\|\;\cdot\;\right\...
0xbadf00d's user avatar
  • 167
0 votes
0 answers
107 views

Is $(u\cdot\nabla)v\in H^1$, if $u,v\in H^2$?

Let $d\in\left\{2,3\right\}$ with $\Lambda\subseteq\mathbb R^d$ be bounded and open with $\partial\Lambda\in C^1$ In Lemma 6.1 of Navier-Stokes Equations and Nonlinear Functional Analysis by Roger ...
0xbadf00d's user avatar
  • 167
0 votes
0 answers
96 views

Non-B-completeness of finest locally convex topology

For an index set $A$ consider the locally convex direct sum $X_A := \bigoplus_{\alpha \in A} \mathbb{R}_\alpha$ of $|A|$-many lines $\mathbb{R}_\alpha = \mathbb{R}$. Then $X_A$ is complete. It is ...
yada's user avatar
  • 1,773
0 votes
0 answers
76 views

Measure on infinite dimesional $L^p$ space relating size in norm to size in measure

Let $A$ be a bounded set in an infinite dimensional $L^p$ space. Fix an $\epsilon>0$. Is there a Borel measure $M$ such that $$ M(B(x,\epsilon)) \geq C, \quad \forall x \in A$$ for some $C>0$ ...
dawo's user avatar
  • 111
0 votes
0 answers
46 views

The Minkowski $(N-1)$- dimensional upper constant of a closed curve?

Let $\Omega\subset \mathbb R^N$ be open bounded smooth boundary. Let $S\subset \Omega$ be a $N-1$ rectifiable set with $\mathcal H^{N-1}(S)<+\infty$. It is well know that if $S$ is not closed, then ...
JumpJump's user avatar
  • 679
0 votes
0 answers
73 views

Continuously varying operators defined by a strange formula

Take $2n$-tuples of bounded positive operators $x_1,\dots x_n$ and $a_1,\dots a_n$ on a Hilbert space $H$ which have zero kernel and dense image and which satisfy the condition that (1) $$ x_1^* x_1+\...
Edwin Beggs's user avatar
  • 1,143
0 votes
0 answers
216 views

Intersection of weighted Sobolev spaces

Consider the Sobolev spaces with $p=2$, defined for $s \in \mathbb{R}$ as \begin{equation} W^{s} = \left\{ u \in \mathcal{S}', \ (1 + \lvert \cdot \rvert^2)^{{s}/{2}} \widehat{u} \in L_2 \right\}. \...
Goulifet's user avatar
  • 2,306
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 ...
Albert harold's user avatar
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,\...
Ludwig's user avatar
  • 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 $$\...
Alexander's user avatar
  • 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])$ ...
ABIM's user avatar
  • 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?
Krzysztof's user avatar
  • 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 ...
DLIN's user avatar
  • 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,...
kenneth's user avatar
  • 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}...
Fadil Kikawi's user avatar
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 ...
Obriareos's user avatar
  • 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$ ...
Dima Sustretov's user avatar
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 ...
Mambo's user avatar
  • 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 \...
Comic Book Guy's user avatar
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}}$ ...
yangmengqh's user avatar
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 ...
JumpJump's user avatar
  • 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 ...
Creator's user avatar
  • 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)$ ...
ghjdnkmttrasda's user avatar
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?
Dongyang Chen's user avatar
0 votes
0 answers
134 views

semifinite projection

Let $M$ be von Neumann algebra, $p$ be semiefinite projection and $q$ be projection in $M$ such that $Z(q)=Z(p)$. ( $p$ is semifinite projection if every nonzero subprojection of $p$ contains a ...
alex v's user avatar
  • 101
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 ...
Carl's user avatar
  • 1
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: ...
guest's user avatar
  • 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$ ...
Tadashi's user avatar
  • 1,590
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 $(...
Iian Smythe's user avatar
  • 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 ...
JumpJump's user avatar
  • 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 ...
Wieland's user avatar
  • 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 ...
lost1's user avatar
  • 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 ...
JumpJump's user avatar
  • 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), ...
JamesCa's user avatar
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 ...
asv's user avatar
  • 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 ...
Tian An's user avatar
  • 3,799
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+...
Math604's user avatar
  • 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 ...
Dummie Variable's user avatar
0 votes
0 answers
76 views

The completely reducible bimodules coming from subfactors

This post is a sequel of: Are all the R-R-bimodules completely reducible? Question: For which (as general as possible) class of subfactors $(N \subset M)$, the bimodule $_NM_M$ is known completely ...
Sebastien Palcoux's user avatar
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)$, ...
Cathy's user avatar
  • 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 ...
mathgirl's user avatar
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^...
C_Al's user avatar
  • 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. ...
shuhalo's user avatar
  • 5,327