Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
173 views

Minimum regular open set containing a given set in a T0 Alexandrov topological space

What is known about the minimum regular open set containing a given set in a T$_0$ Alexandrov topological space? I'm particularly interested in the condition for the minimum set happening to be first-...
Ken Y.'s user avatar
  • 1
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
331 views

Idempotent ideal in ring of continuous functions

Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be be an idempotent ideal?
r.t's user avatar
  • 1
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
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 ...
Jui-Hsien Wang's user avatar
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 ...
Martijn's user avatar
  • 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)) = ...
Héctor's user avatar
  • 515
0 votes
0 answers
238 views

Pro-constructible subset of scheme intersects very dense subsets?

Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$? If $Y$ is just constructible, this is true. ...
user68570's user avatar
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^{\...
Alem's user avatar
  • 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 $...
erz's user avatar
  • 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 ...
Spencer's user avatar
  • 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 ...
C-star-W-star's user avatar
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 ...
C-star-W-star's user avatar
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 ...
Iian Smythe's user avatar
  • 3,115
0 votes
1 answer
136 views

$\epsilon$-nearly isoclinic

Question: Two $k$-dimensional subspaces $W_1,W_2$ with associated orthogonal projections $P_1, P_2$ are isoclinic with parameter $\lambda \ge 0$ if $P_1P_2P_1=\lambda P_1$ and $P_2P_1P_2=\lambda P_2$. ...
Roman's user avatar
  • 23
0 votes
0 answers
117 views

The functional $L(\varphi)=\int_0^{2\pi}\frac{\sqrt{1-\varphi^2-(\varphi')^2}}{1-\varphi^2}d\theta$

Consider the $2\pi$-periodic inner product space $L^2[0,2\pi]$. Let $F\triangleq\{f\in L^2[0,2\pi]|f(\theta)>0,(f(\theta),\cos\theta)=(f(\theta),\sin\theta)=0\}$. Let $G\triangleq\{\varphi\in L^2[...
Alfred Chern's user avatar
0 votes
0 answers
302 views

Banach space of discontinuous functions on a product space

Edit: According to comments of Eric Wofsy and Yemon Choi I edit the question. For a (compact) topological space $X$, we put $A=\{f:X\to \mathbb{C}\mid f\text{ is bounded}\}$. We define a semi-...
Ali Taghavi's user avatar
0 votes
0 answers
179 views

Non-reflexive linear subspace

We know that if X infinite dimensional normed space, then weak topology smaller than normed topology. This is my problem(from russian textbook of Bogachev-Smolyanov, Functional Analysis) : Let X be ...
A.H.Nguyen's user avatar
0 votes
2 answers
291 views

Book and Papers for properties of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

I am looking for reference books and research articles which cover analysis of uniformly convex and locally uniformly convex and strictly convex Banach spaces.
user62498's user avatar
  • 823
0 votes
0 answers
151 views

Notion of solution of pde

Let's consider the following Schrodinger equation $$iu_t+\Delta u+F(u)=0$$ in $\mathbb{R}^n$. In Cazenave's book, "Semilinear Schrodinger equation", he defines $H^1$-weak solution as $u\in L^\infty(0,...
Sue's user avatar
  • 9
0 votes
0 answers
145 views

A question about the duality principle

Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by $$\Phi_Kf(y)=...
brando's user avatar
  • 133
0 votes
0 answers
35 views

Approximate rank of the set formed by all delayed replicas of a bandlimited signals between 0 and T

Given a complex-valued signal with a certain delay $s(t-\tau)$ for which we sample $N$ instants $$ \mathbf{s(\tau)}=\left[s(0-\tau),\ldots,s\left(\frac{N-1}{f_s}-\tau\right)\right]^T $$ at Nyquist ...
mermeladeK's user avatar
0 votes
0 answers
148 views

existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...
Erik Curiel's user avatar
0 votes
1 answer
284 views

Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension. I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...
user61430's user avatar
0 votes
0 answers
137 views

SVD of Frechet derivative

This is mainly a reference request. Is there a particular characterization of operators A from a Hilbert space H to itself such that the Frechet derivative A'(u) exists for each $u \in H$ and for any ...
Madhuresh's user avatar
0 votes
0 answers
113 views

Existence of a mapping in a nonseparable Banach space

Do there exist a nonseparable Banach space $X$, a mapping $F: X\to X$, and an open nonempty subset $D\subset X$ such that $$ \forall\,E>0 \quad \exists\,\delta>0: \quad \forall\,x,y\in D \quad (...
Shaqiff's user avatar
0 votes
0 answers
182 views

Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j} \stackrel{\text{df}}{=} \left[ \frac{j}{2^{...
sokho's user avatar
  • 1
0 votes
0 answers
77 views

How to generalize balanced and absorbing sets to R-modules?

I'm looking for generalizing the notions of balanced set and absorbing set. The goal is using them for analyzing topological R-modules with R being a unit ring. It's easy to generalize balanced and ...
Pablo P.'s user avatar
0 votes
0 answers
153 views

extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question): Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
CodeGolf's user avatar
  • 1,835
0 votes
0 answers
161 views

question about the tightness of probability measures for a general topological space

Let $(E,\mathcal{X})$ be a topological space and denote by $\mathcal{F}$ its collection of Borel subsets referred to $\mathcal{X}$. Now let $\mathcal{P}$ be the set of all probabilities on $(E,\...
CodeGolf's user avatar
  • 1,835
0 votes
0 answers
103 views

The trivility of Besov space for large parameter

For all $s>0$, $1\le p<+\infty$ and $u\in L^p(\mathrm{d}x)$, we define $$D_{s,p}(u)=\sup_{r>0}\frac{1}{r^{sp+n}}\int_{\mathbb{R}^n}\int_{B(x,r)}|u(y)-u(x)|^p\mathrm{d}y\mathrm{d}x$$ and $$W^{...
yangmengqh's user avatar
0 votes
0 answers
79 views

Stable analytic manifold under simple action

For an integer $m > 1$, let us define the action $$ f: X_i \to (1+X_i)^{m} - 1 $$ on $C[[X_1,...,X_N]]$, where $C$ is the complex number field. Consider the analytic manifold $V(I)$ defined by the ...
Pierre's user avatar
  • 1
0 votes
0 answers
145 views

Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
Lucy's user avatar
  • 183
0 votes
0 answers
135 views

uniform continuity of a function in ultrametric spaces

Consider $[0,1]$ with the metric $d_1(x,y)=\left\{\begin{array}{cc} 0&x=y,\\ \max\{x,y\}&x\ne y. \end{array}\right.$. Moreover let $(M,d_2)$ be an ultrametric space. Let $f:(M,d_2)\to([0,1],...
amin's user avatar
  • 1
0 votes
0 answers
184 views

Reference request: density of $C_c^{\infty}(\mathbb R^d)$ in $L^2(\mathbb R^d,d\rho)$

My question is motivated by an optimal transportation approach to PDE's and gradient flows in metric spaces (see e.g Otto's geometry of dissipative evolution equations: the porous media equation and ...
leo monsaingeon's user avatar
0 votes
0 answers
213 views

Equivalent Gaussian measures

Let $\mu$ be a gaussian measure with eigenpair $\{e_k,2^{-k}\}$ and $\nu$ with eigenpair $\{ Te_k,2^{-k}\}$. Here, T is the unitary operator given by $Tx = x - 2\left\langle x,v \right\rangle v$. Let $...
user53215's user avatar
0 votes
0 answers
200 views

Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$ I want to show for $r \geq 2$ that $$\...
delimit's user avatar
0 votes
0 answers
84 views

Can a "weak" topological space be a Moore space?

Let B be a reflexive and infinite dimensional real Banach space-which could be Hilbert space l^2- and let B be endowed with the weak topology. Although this topology is regular and Hausdorff, it is ...
Garabed Gulbenkian's user avatar
0 votes
1 answer
217 views

Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary [closed]

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form $$|u(t)|_{L^p} \leq ...
TomJoseph's user avatar
0 votes
0 answers
606 views

$b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper. Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in $C^0(...
riem's user avatar
  • 266
0 votes
0 answers
88 views

References for LWP of a NLS Equation

I am studying the LWP of $$i \partial_t \psi + \Delta \psi = \left| \psi \right|^{p-1} \psi + \frac{1}{\left| x \right|^2} \psi$$ in $\mathbb{R}^{1+2}$ given appropriate Cauchy data. It will probably ...
k3thomps's user avatar
  • 516
0 votes
0 answers
206 views

About approximate eigenvalue

I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4. Suppose $X$ is a real Banach Space, $M$ is a ...
user44565's user avatar
  • 103

1
271 272
273
274 275
279