All Questions
524 questions
2
votes
0
answers
139
views
Existence of solution of a variational inequality
Let $K\subseteq \mathbb{R} ^n$ be closed and convex, and let $F:K \to \mathbb R^n $ be a continuous function. If for every $x,y \in K$ we have $$(x-y)^T(F(x)-F(y))\ge \alpha ||x-y||^2 \, ;\quad \...
- 24.2k
5
votes
2
answers
1k
views
Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
CommunityBot
- 1
1
vote
0
answers
66
views
How to define spectral multiplier for −Δ?
Put $e_{n}(t)=e^{int}=\prod_{j=1}^{d}e^{in_{j}t_{j}}$, $t\in \mathbb T^d, n\in \mathbb Z^d.$ ($t=(t_{1},..., t_d), n=(n_1,..., n_d)$)
We note that $\{e_{n}\}_{n\in \mathbb Z^d}$ forms an orthonormal ...
- 233
1
vote
0
answers
105
views
compactness of sequence of harmonic functions
Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$).
...
- 1,385
2
votes
0
answers
186
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171
2
votes
0
answers
64
views
The continuity of $L^2$ gradient on moving domain
I post this on MSE too. Sorry for this short cross posting. But I stuck in this problem for a while... I don't know what the right tool should be used to handle the moving domain problem...
Let $I:=(...
CommunityBot
- 1
2
votes
0
answers
183
views
Are there any improvements on the estimate of oscillatory integral with one-side folds?
Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the ...
- 171
2
votes
1
answer
158
views
Defect of Compactness for the Strichartz Estimates
I am trying to understand the motivation behind the main theorem of Keraani: See the top of page 356 and which is the motivation behind his Theorem 1.6
We consider
$$i\partial_t u + \Delta u =0, u(x,...
- 39.1k
1
vote
0
answers
86
views
Least restrictive condition such that $-y''(x)+q(x)y(x)=\lambda y(x)$ has two solutions
Let $\lambda \in \mathbb{R}$ and consider some function $q$ on the interval $[0,1].$
What is known to be the least restrictive condition on $q$ such that there are two linearly independent $H^2$ ...
- 7,193
15
votes
2
answers
681
views
Are Fourier transforms of L^p stable under diffeomorphisms?
Let $\xi$ be a compactly supported distribution on $\mathbb R^n$ and assume that its Fourier transform is in $L^p$. Let $\phi:\mathbb R^n\to\mathbb R^n$ be a diffeomorphism. Does the Fourier ...
- 4,660
-1
votes
1
answer
227
views
Solving the integral identity $ \int_{a}^{b} f(x)dx = \int_{a}^{b} f(x)g(x)dx. $ [closed]
We know that 0 is the additive identity and 1 is the multiplicative identity. In the same spirit let us define the integral identity as follows.
Definition: Let $f(x)$ be integrable in $(a,b)$. If ...
- 39.8k
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
- 166
1
vote
0
answers
148
views
References for the Sturm oscillation theorem
What is the most general form of the Sturm oscillation theorem?
So far I have only seen cases that treat either unbounded intervals or weighted $L^2$ spaces. I would be especially interested in ...
- 263
1
vote
1
answer
318
views
Uniformly continuous functions and Borel hierarchy in the compact-open topology
Let $\Omega\subset\mathbb{R}^n$ be open, $\mathscr{C}(\Omega,\mathbb{R})$ the Fréchet space of real-valued continuous functions on $\Omega$ endowed with the compact-open topology, and $\mathscr{C}_u(\...
- 7,817
5
votes
0
answers
141
views
Rate of convergence of Riemann sum of quasi-regular functions
The following result is well-known (I consider the 3-dimensional case only):
Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then
$$
\left| \int_{\mathbb{R}^3} f - \...
- 25.8k
5
votes
5
answers
2k
views
A graduate course on Sturm Liouville theory?
I have some general questions on Sturm-Liouville theory. We are planning to introduce a graduate course on Sturm-Liouville theory and every one has been asked to propose topics which might be suitable ...
- 321
3
votes
2
answers
279
views
Nice way to express $H^{-1}(\mathbb{S}^1)$
I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...
- 39.1k
2
votes
0
answers
87
views
1D inhomogeneous linear Schrodinger equation
I have the following problem:
$iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...
2
votes
0
answers
154
views
The boundedness of an entire function along the imaginary axis
I am looking for an answer in the affirmative or the negative concerning the asymptotics of an entire function. The question, relatively simple to state, has proven very taxing to solve and requires ...
- 24.2k
2
votes
0
answers
82
views
Properties of a Sobolev bound
I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...
- 193
1
vote
0
answers
93
views
inverse problem to resolution of the identity
Suppose $f_\lambda(x),\lambda \in \mathbb{R}$ is a continuous/smooth family of bounded function on $\mathbb{R}$. Given a measurable set $\mathfrak{m}$ on $\mathbb{R}$, define $$E_\mathfrak{m}:L^2\...
- 587
3
votes
1
answer
210
views
Using $H^2$ to find a cyclic vector in $\ell^2$
Let us consider $\ell^p(\mathbb{Z})$. We know that the vector $e_1=(\dots,0,0,1,0,0,\dots)$ is a cyclic vector in sense that given the right shift operator $S:(\dots,x_0,x_1,x_2,\dots)\mapsto (\dots,...
- 2,361
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
7
votes
1
answer
537
views
Multivariate Maximal Hilbert Transform
One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\sup_{\varepsilon>0} \left| \int_{|x-t|\geq\varepsilon} \frac{f(t)}{x-t} \, dt\right|, \quad x\in\...
CommunityBot
- 1
1
vote
0
answers
86
views
Asymptotics of a elliptic pde when exponent gets large
I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball $...
- 1,385
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
5
votes
1
answer
187
views
Getting out a system of linear ODEs by knowing the Magnus expansion
Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
$$Y(t_1)...
- 188k
3
votes
2
answers
226
views
Name for an orthogonal decomposition of $L^2 (\mathbb{R}^2; \mathbb{C})$
The space $L^2 (\mathbb{R}^2; \mathbb{C})$ can be decomposed as
$$
L^2 (\mathbb{R}^2; \mathbb{C}) = \bigoplus_{k \in \mathbb{Z}} L^2_k (\mathbb{R}^2; \mathbb{C}),
$$
where
$$
L^2_k (\mathbb{R}^2; \...
- 25.8k
2
votes
0
answers
79
views
Point Spectrum of a Second Order System of Differential Equations
Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) \...
- 516
2
votes
1
answer
176
views
Two ODEs, why is one the solution of the other? (Caratheodory ODE)
This question is based on Zeidler II/B, Problem 30.2.
Consider the ODE: find $u:[0,T] \to \mathbb{R}^n$ s.t.
$$u'(t) = F(t,u(t))$$
$$u(0) = u_0$$
given $F:[0,T]\times \mathbb{R}^n \to \mathbb{R}^n$ ...
CommunityBot
- 1
6
votes
2
answers
1k
views
Existence of a measure-preserving bijection
Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g (tx)$ ...
CommunityBot
- 1
2
votes
1
answer
260
views
An elementary functional inequality
Let $g$ be a $C^1$ function with $g(0)=0$ and $g(t)>0$ for all $t>0$. I am surprised that for all such $g$ the following seems to hold
$\frac{\int_0^t(g'(s))^2ds}{g^2(t)}\geq \frac{1}{t}$ for ...
- 810
3
votes
1
answer
279
views
Complete solution set of a Convolutional Equation?
Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best..
Setup: In what ...
CommunityBot
- 1
4
votes
0
answers
188
views
Evaluate a multiple integral
I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) dr_1\...
- 41
4
votes
1
answer
555
views
Construct smooth functions with prescribed derivatives
To be specific, suppose we are given a sequence of smooth functions $\{f_k\}_{k\geq 0}$ on flat torus $\mathbf{T}^2$(you may think of it as doubly periodic functions on $\mathbf{R}^2$ and smooth).
...
- 18.7k
3
votes
1
answer
212
views
A question on the Frechet derivative
Suppose the derivative of a functional is given by
\begin{equation*}
\int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi=\int_{\Omega}\nabla.(u\vec{v})|\nabla u|^{p-2} \phi,~\phi\in W_0^{1,p}(\...
CommunityBot
- 1
12
votes
1
answer
2k
views
Sard's Theorem For Banach Spaces
Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest ...
- 66.3k
2
votes
1
answer
696
views
Does the following type of Gronwall inequality hold?
Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$.
Suppose that
$$
u(t) \...
CommunityBot
- 1
1
vote
1
answer
403
views
Derivative of a time evolution operator w.r.t. a parameter
Let $N\geq1$ be an integer and let $H:[0,1]^2\to\mathbb C^{N\times N}$ be a pointwise hermitean matrix valued function.
For $y\in[0,1]$ and $0\leq a\leq b\leq 1$, let $U_y(b,a)$ be the time evolution ...
- 39.1k
1
vote
0
answers
129
views
persistence of regularity for nonlinear Klein-Gordon equation
I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" (...
- 1,051
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
3
votes
0
answers
354
views
A Characterization of Closed Ideals in $C^{\infty}(\mathbb{R}^n)$
The space $C^{\infty}(\mathbb{R}^n)$ can be turned into a topological ring using the Whitney topology. Whitney's Spectral Theorem says that the closure of an ideal in this ring is the ideal of all ...
CommunityBot
- 1
1
vote
0
answers
133
views
Condition for boundedness in stationary phase theorem
I am trying to understand theorem 7.7.1 in Hormander's Analysis of linear partial differential operators, vol.1.
Let $K \subset \mathbb{R}^n$ be a compact set, $X$ an open neighborhood of $K$ and $j, ...
CommunityBot
- 1
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
9
votes
1
answer
682
views
A differential inequality needed to prove a theorem about odd-dimensional souls
I need a solution to this problem (which is really a calculus problem) in order to prove a rigidity result for open nonnegatively curved manifolds with odd-dimensional souls:
Suppose that $f,g:\...
- 23.7k
1
vote
1
answer
416
views
Limit-circle and limit-point at endpoints
I was wondering if the following holds:
If you have an ODE $$-y''(x) + q(x) y(x) = \lambda y(x)$$ on a finite interval $(a,b)$ and you know that this equation is limit-circle or limit-point at the ...
- 24.2k
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
5
votes
1
answer
496
views
Spectrum of this ODE
I noticed something interesting studying this Sturm-Liouville Problem:
$$ \frac{d}{dx}\left(\sqrt{(1-x^{2})}\frac{df}{dx} \right)+\frac{\left(n \alpha x+\alpha^2 x^{2} + \lambda\right)f}{\sqrt{(1-x^{...
CommunityBot
- 1
2
votes
1
answer
159
views
ODE system has zero as the only solution?
Let $V \subset H$ be a continuous, compact and dense embedding with $V$ and $H$ Hilbert spaces.
Let $\beta_j:[0,T] \to \mathbb{R}$ be functions for each $j$, and let $v_j$ be a basis of $V_0$.
...
CommunityBot
- 1