All Questions
12,935 questions
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
37
views
Any reference in absorbing boundary conditions for non-abelian gauge fields?
Is there any paper on absorbing boundary conditions for non-abelian gauge fields?
Currently I only saw some on elastic wave equations and some on EM fields.
- 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)$, ...
- 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
223
views
inflow/outflow Boundary Conditions for flow in pipe
I have a question about boundary condition of solving Navier-Stokes equation through pipe.
When I simulate the flow in pipe using periodic boundary condition, it works good. But when I tried to change ...
0
votes
0
answers
238
views
Schauder estimate on a bounded domain
We know if $u:\mathbb{R}^{n}\to \mathbb{R}$ is a smooth function with compact support, then we can show, via integration by part, that
$$
||\Delta u||=||{\nabla}^2u||
$$
where $||\cdot||$ is the $L^2(\...
- 81
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
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
60
views
The minimizing problem over a sequence of shrinking balls
Let $B(0,r)\subset \mathbb R^3$ be a ball centered at $0$ with radius $r$. Define
$$ \mathcal A_r:=\{u\in H_0^1(B(0,r)),\,\,\|u\|_{L^{q+1}}=1\}$$
where $1<q<5$. Hence we know that each $\...
- 679
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
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$. ...
- 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[...
- 139
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-...
- 356
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 ...
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.
- 823
0
votes
0
answers
103
views
How to prove it is uniformly bounded?
Let $\Omega$ be a bounded domain with smooth boundary. Say $\theta\in(0, 1]$. Let $u(x, \theta)$ be a solution to the problem $\Delta u-\theta u=g(x)$ subject to Neumann boundary condition. Suppose ...
- 41
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,...
- 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)=...
- 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 ...
- 345
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 ...
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 ...
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 (...
- 1
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^{...
- 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 ...
- 29
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 $...
- 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^{...
- 369
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 ...
- 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 ...
- 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],...
- 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 ...
- 5,380
0
votes
0
answers
233
views
Probability that d-Brownian Motion ,$d\geq 3$, avoids a fixed set A
In other words, the probability that Brownian motion stays within $A^{c}$.
What about for connected and fixed compact sets ? Would that involve solving a heat equation? How can I condition it, so ...
- 5,474
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 $...
- 33
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
$$\...
- 1
0
votes
0
answers
457
views
Compatibility of initial and boundary conditions
Suppose we consider the heat equation $$\partial_t u = \Delta u, x \in \text{int}D^2, t > 0$$
where $D^2$ is the closed unit disc in $\mathbb{R}^2$, subject to Neumann type boundary conditions $$\...
- 1
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 ...
- 13
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(...
- 266
0
votes
0
answers
112
views
Estimate for an integral of a function of the solution to a PDE
Let $\Omega \in \mathbb{R}^3$ be a bounded smooth domain. Assume that smooth functions $\sigma_1,\sigma_2$ satisfy $\sigma_1-\sigma_2 \in C_0^\infty(\Omega)$ and
$\lambda\leq \sigma_1, \sigma_2 \leq \...
- 35
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 ...
- 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 ...
- 103
0
votes
0
answers
60
views
Why Does a quadratic phase term in BNLS causes collapse?
I've heard a couple of times that in the Biharmonic Nonlinear Schrodinger Equation,
$i\psi_z + \Delta ^2 \psi + |\psi | ^{2\sigma } \psi =0 $, $\psi (x, 0) = \psi _0 (x) \in H^2( \mathbb{R} ^d ) $
...
- 3,574
0
votes
0
answers
489
views
Solving a parabolic PDE with boundary conditions given over ranges
How can one solve a Parabolic PDE (like the wave or diffusion equations) if the boundary conditions were given over ranges?
Here is an example: How to solve the equation $u_{xx}+u_{yy}-\alpha^{2}u_{t}...
- 183