Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
262 views

Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)

Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user avatar
2 votes
2 answers
406 views

Solution to semilinear heat equation at $t=0$: $u_t(0,x) - \Delta u(0,x) + f(x,u,u_x)= 0 \ ?$

Consider the following Cauchy problem $$u_t - \Delta u + f(x,u,u_x) = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n,$$ with initial condition $u(0,x) = g(x), \ x \in \mathbb{R}^n.$ Suppose that $u \...
Jun's user avatar
  • 303
8 votes
2 answers
1k views

The continuous Taylor series; are they just Taylor series?

I first posed this question when I was a first year student. I came up with some ad hoc arguments as to why the result is true (a bit of numerical experimentation), but never had a proof. I forgot ...
user avatar
5 votes
2 answers
840 views

Decompostition of a Lipschitz domain

We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if: $$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
Motaka's user avatar
  • 291
2 votes
2 answers
261 views

Viscosity solutions for $u'(x) + \alpha u(x) - f(x) = 0$: supersolutions dominate subsolutions

Let $$u'(x) + \alpha u(x) - f(x) = 0,$$ with $x \in [0,\infty)$ and $\alpha \in \mathbb{R}$. Suppose $f \in C(\mathbb{R})$. If $u_1$ is a viscosity supersolution (or a viscosity solution, or a $C^...
user avatar
3 votes
1 answer
480 views

Is there a uniform upper bound for this oscillatory integral?

I am wondering whether the following uniform upper bound holds: $|\int_a^{2a}\frac1t\sin(N b^2t)\exp(iNbt^2)dt|\le Cab^2,$ where $0<a<b<1$, $N>N_0(a,b)\gg1$, and $C$ is a constant ...
Right's user avatar
  • 187
1 vote
0 answers
183 views

Trace theorem for boundary value problem

Consider the inhomogeneous boundary value problem on the infinite strip $(x,y)\in \mathbb{R}\times [0,1]$ defined by $$\begin{cases}\partial_{x}u + \partial_{y}v=f & {(x,y)\in \mathbb{R}\times (0,...
Matt Rosenzweig's user avatar
15 votes
3 answers
2k views

Asymptotic expansion of $\sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$

I've been trying to find an asymptotic expansion of the following series $$C(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$$ and $$L(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{...
Trax's user avatar
  • 153
5 votes
2 answers
623 views

Completeness of an exponential family

The question is this: Does there exist an integrable function $f\colon\mathbb R\to\mathbb R$ such that $f$ differs from $0$ on a set of nonzero Lebesgue measure and \begin{equation} \int_{\mathbb R}...
Iosif Pinelis's user avatar
3 votes
0 answers
177 views

Interesting stipulation about completely monotone functions

This question relates to a question I asked here. I thought of a well thought out generalization which appears to follow in the situations I've encountered it. I tried to generalize the answer ...
user avatar
6 votes
3 answers
1k views

Orthonormal basis in $W^{1,2}([0,1])$

Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
Pablo's user avatar
  • 63
0 votes
1 answer
150 views

Solutions to Schrödinger equation parameter dependence

This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this: If we look for classical solutions on $[0,1]$ to $$-y''(x) =...
Kinzlin's user avatar
  • 305
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 \...
a.a's user avatar
  • 21
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 - ...
Amir Sagiv's user avatar
  • 3,574
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 ...
abcd's user avatar
  • 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$). ...
Math604's user avatar
  • 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{\...
Mr.right's user avatar
  • 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:=(...
JumpJump's user avatar
  • 679
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 ...
Mr.right's user avatar
  • 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,...
abcd's user avatar
  • 233
3 votes
3 answers
580 views

Approximate identities and pointwise convergence

I'm studying Fourier analysis and have a question about approximate identities. Let $k_{\epsilon}$ be an approximate identity on $L^{1}(\mathbf{T})$. We know that $k_{\epsilon}*f\to f$ in $L^{1}$ as $...
yun's user avatar
  • 41
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$ ...
Tibert's user avatar
  • 11
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 ...
Rami's user avatar
  • 2,649
-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 ...
Nilotpal Kanti Sinha's user avatar
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-...
Lior Eldar's user avatar
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 ...
pwl's user avatar
  • 263
2 votes
1 answer
265 views

characterization of normality by selection theorem

The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
Kasper Cools's user avatar
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 ...
Lewandowski's user avatar
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(...
Sriram Nagaraj's user avatar
5 votes
0 answers
374 views

A question about Carleman linearization

Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻² Let $f$ be ...
Tadashi's user avatar
  • 1,590
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 ...
user avatar
21 votes
1 answer
3k views

Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
user111's user avatar
  • 4,034
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. ...
rrr's user avatar
  • 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\...
Qijun Tan's user avatar
  • 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,...
Michael's user avatar
  • 31
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
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 $...
Math604's user avatar
  • 1,385
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)...
tobias's user avatar
  • 749
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; \...
Jean Van Schaftingen's user avatar
21 votes
7 answers
2k views

Identities and inequalities in analysis and probability

Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
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) \...
k3thomps's user avatar
  • 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$ ...
C_Al's user avatar
  • 251
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 ...
A random mathematician's user avatar
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\...
Hatem's user avatar
  • 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). ...
Jingrui Cheng's user avatar
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}(\...
Alexander's user avatar
  • 157
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 ...
Benjamin's user avatar
  • 2,099
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) \...
mafan's user avatar
  • 471
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 - \...
davidgontier's user avatar
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 ...
Joonas Ilmavirta's user avatar

1
5 6
7
8 9
11