All Questions
5,629 questions
2
votes
1
answer
189
views
Equivalent characterization of weak derivative in Bochner space
Let $H$ be a hilbert space. A function $v\in L_\text{loc}^1(0,T;H)$ is called the weak derivative of $u \in L_\text{loc}^1(0,T;H)$ iff
$$ \int_0^T u(t) \varphi'(t) \, dt = -\int_0^T v(t) \varphi(t) \, ...
- 2,670
0
votes
1
answer
362
views
Conditions on continuity under Lebesgue measure
Let $h : X \times I \rightarrow \mathbb{R}$ be a continuous function, where $X$ is a compact set of $\mathbb{R}^k$, for some $k$.
Set $\hat{h}(x,t) = 1$ if $h(x,t) \neq 0$, $0$ otherwise.
Define $g : ...
CommunityBot
- 1
23
votes
5
answers
2k
views
PDEs and algebraic varieties
Let $P$ be an order $d$ differential operator with constant coefficients and consider a PDE of the form $Pf = \delta$. Taking the Fourier transform of $P$ we get a degree $d$ polynomial whose zero ...
- 2,689
1
vote
1
answer
139
views
Does there exist a continuous choice of maximizing balls for the Hardy Littlewood maximal function?
Note: Here $\overline B_r (x)$ denotes the closed ball of radius $r$ around $x$.
Let $f \in L^1 (\mathbb R^d)$. We define the averages $A(x, r)$ for $x \in \mathbb R^d$ and $r > 0$ by
$$A(x, r) := \...
- 39.1k
2
votes
0
answers
120
views
On the integer of the form p^a q^b closest to a given integer N
If we give ourselves a number having only one prime factor $p$ and a given natural integer $N$, we know how to give the integer of the form $p^k$ closest (and less than) to this integer $N$ it's ...
- 69
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 20.5k
1
vote
0
answers
98
views
Periodicity in one Fourier variable
Let $f:[0,1]\times [0,1] \to \mathbb C$ be a double periodic function (periodic in both variables) that depends real-analytically on its argument.
We can thus write $f$ as $$ f(x) = \sum_{n \in \...
5
votes
0
answers
214
views
Elliptic regularity and Sobolev spaces
Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e.
$$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$
where $a$ are ...
- 1,429
4
votes
0
answers
116
views
Lipschitz extension of a flow can still be a flow?
Consider a map $\Phi: [0,T] \times \mathbb{R}^d \to \mathbb{R}^d$, and assume that there exists a set $U \subset \mathbb{R}^d$ such that $\Phi\rvert_{[0,T] \times U}$ is $L$-Lipschitz. It is well ...
- 697
0
votes
1
answer
516
views
A problem of Fourier transform and Hölder condition
Suppose that $f$ is continuous on $[0,1]$. Thus, $f\in L^1(\mathbb{R})$ and its Fourier transform exists, as
$$ \hat{f}(\xi) := \int_\mathbb{R} e^{-2\pi i x \xi} f(x)dx, $$
which can also be written ...
- 5,407
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,153
6
votes
1
answer
331
views
A combinatorial identity involving increasing functions from $\{1, \dots, n\}$ to itself
This is related to the post An order statistics problem with some interesting geometry. The following identity arose in the context of the problem.
Fix an integer $N \geq 2$. Let $\mathcal S_N^+$ ...
- 50.8k
7
votes
0
answers
254
views
$C^0$-limit of volume-preserving maps on $\mathbb R^n$
Let $f_k:B_1\rightarrow \mathbb R^n$ be a sequence of injective differentiable volume-preserving maps (i.e. $\mu(f_k(A))=\mu(A)$ for any measurable $A\subset B_1$) that converges uniformly to $f:B_1\...
- 435
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
0
votes
0
answers
34
views
It is possible to limit a set of curves in the sense $f(x,y) \leq C f(x_0,y)$?
Suppose you have a continuous function $f:[a,b]\times (-\infty, \infty) \rightarrow \mathbb{R}$. I'm trying to understand if it's possible to conclude that due to the compactness of the interval $[a,b]...
- 677
11
votes
2
answers
1k
views
Twice continuously differentiable implied by existence of limit
I have the following question. Let $f,g:\mathbb{R}\to\mathbb{R}$ be two continuous functions (vanishing at infinity) and assume that
$$
\frac{f(x+t)+f(x-t)-2f(x)}{t^2}\to g(x)
$$
for all $x\in X$ when ...
- 8,992
1
vote
0
answers
102
views
Proving that a quantity is positive (Gaussian density and Gaussian CFD)
$\def\R{\mathbb R}$$\def\aha{{1/2}}$$\def\maha{{1/2}}$
Hi everyone,
I am interested in the following problem:
Let consider the heat equation problem:
$$\forall (t,x) \in \mathbb{R}_+\times\mathbb{R}, ~...
- 393
2
votes
2
answers
615
views
In what sense does the Hermite expansion of a bounded smooth function converge?
Let $f : \mathbb{R} \to \mathbb{C}$ be a smooth and bounded function.
If we denote by $\{ H_n(x) \}$ the sequence of normalized Hermite polynomials, then the Hermite expansion of $f$ is defined as
\...
- 211
2
votes
0
answers
41
views
Blow up for certain classes of distributions
Let $\mathbb D$ be the open unit disc centered at the origin and let $u \in H^{-N}(\mathbb D)$ be a distribution for some natural number $N>0$. Suppose that $$u|_{\mathbb D\setminus \{0\}} \in C^{\...
- 4,153
22
votes
1
answer
4k
views
A challenging (for me) limit calculation
How to calculate the following limit
$$
\lim_{n\to\infty}\sqrt{n}\underbrace{{}\sin(\sin(\sin(\sin(\cdots\sin(\frac{1}{\sqrt{n}})\cdots))))}_{n \text{ sin's}} \text{?}
$$
${}{}$
2
votes
1
answer
159
views
A compact embedding claim
Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms
$$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$
Let $H_2$ be the weighted Sobolev space with the ...
- 6,035
4
votes
1
answer
339
views
Limit for series of Bessel functions evaluated at zeros
The following series arises in an electrostatics problem for a conducting cylinder:
$$
V=\sum_{n=1}^\infty\frac{J_0(k_n\rho)e^{-k_nz}}{k_nJ_1(k_n)^2}
$$
where $J_i$ is the Bessel function of $i^{th}$ ...
- 232
5
votes
1
answer
272
views
Is the local maximal function bounded from $W^{1, 1}$ to $L^1$?
Let $f \in W^{1, 1} (\mathbb R^d)$. For every $\varepsilon > 0$, we consider the local maximal function $M_\varepsilon f: \mathbb R^d \to \mathbb R$, defined by
$$M f_{\varepsilon} (x) = \sup_{r \...
1
vote
3
answers
181
views
Evaluating a sinusoidal series
Define the sequence of functions
$$f_n(x)=\sum_{m=n}^\infty(-1)^m\frac{x^{2m}}{(2m+1)!} {m \choose n} $$
Is there a closed form expression for arbitrary $n$? It is clear that the result should assume ...
- 17k
1
vote
1
answer
90
views
The number of roots of pseudo-exponential polynomials
Assume that $J$ is the interval $(-\pi,\pi]$. For $k=1,\ldots,2n$, suppose that $\lambda_k$s are real functions on $J$ with $|\lambda_k|=1$, meaning that $\lambda_k(t)$ is either $-1$ or $1$ where $t\...
- 2,060
5
votes
1
answer
511
views
Norm inequality for the inclusion $L^2(\partial \Omega)\hookrightarrow H^{-1/2}(\partial \Omega)$
Let $\Omega \subset \mathbb{R}^3$ be a lipschitz domain. We then have the trace operator $\tau : H^1(\Omega) \to L^2(\partial \Omega)$ and can define the space $H^{1/2}(\partial \Omega) := \tau(H^1(\...
- 2,670
3
votes
1
answer
128
views
Weaker version of the lemma of K.L. Chung
Let $\{u_n\}_{n\in\mathbb{N}}$ be a sequence of nonnegative real numbers (i.e., $u_n\geq 0$ for all $n\in\mathbb{N}$). Assume furthermore that, for some positive constant $C$, the following holds:
$$...
- 128k
5
votes
1
answer
249
views
Approximation of monotone Sobolev functions
Let $f\in W_{loc}^{1,2}(\mathbb R^2)$ be a continuous monotone (real valued) function (monotone in the sense that the maximum and minimum of $f$ in a precompact open set are attained at the boundary)....
3
votes
2
answers
294
views
Domain of spectral fractional Laplacian
Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
- 24.2k
2
votes
1
answer
264
views
Is a continuous functional on continuous functions the restriction of a continuous functional on the space of all functions?
As sets, we can consider the space $C(\mathbf{R}^n;\mathbf{R}^k)$ - of all continuous functions from $\mathbf{R}^n$ to $\mathbf{R}^k$ - to be a subset of the product space $(\mathbf{R}^k)^{\mathbf{R}^...
- 128k
2
votes
0
answers
216
views
When do these ODE have positive solutions?
Consider the ODE \begin{equation} x'' + q(t) x = 0 \end{equation} in the unit interval $(0,1)$, with a potential function $q(t) = 4\pi^2 - \frac{Ct}{(1 - t)^2}$ depending on a positive constant $C >...
- 5,048
-5
votes
1
answer
270
views
Calculus based on pdf [closed]
Is there a calculus, i.e. an analytical framework, that deals with probability distributions as its variables? Measure theory goes in that direction, and Hewitt/Stromberg (Real and Abstract Analysis, ...
- 6,367
2
votes
0
answers
70
views
A lemma in the application of Lions's concentration compactness pricnciple in Hardy-Littlewood-Sobolev inequality
I'm encountering some problems when reading Lions' paper "the concentration-compactness principle in the calculus of variations. The limit case, Part 2".
The Hardy-Littlewood-Sobolev (HLS) ...
- 121
3
votes
2
answers
978
views
Are $L^p$ norms absolutely continuous?
Let $1 < K \leq \infty$, and suppose $f \in L^p (X)$ for all $1 \leq p \leq K$, for $X$ some $\sigma$-finite measure space with no atoms.
Question: Is the function $p \to \|f\|_{L^p}$ absolutely ...
- 12.9k
2
votes
1
answer
206
views
Bound for zero-crossings of heat equation
I am considering the following problem.
Let $\mathcal{P}$ the classical heat-diffusion problem:
$$\mathcal{P} : \left(\partial_t u (t,x)=\frac{1}{2}\partial_{xx}^2u(t,x)\text{ with }u(0,\cdot) = f(x)\...
- 1,075
9
votes
3
answers
553
views
Bounding the $n$-th derivatives of $\frac{1-\cos(x)}{x^2}$
Define the smooth map $f : \mathbb{R} \rightarrow \mathbb{R}$ by $f(x) := \frac{1-\cos(x)}{x^2} = -\sum\limits_{k=1}^\infty \frac{(-1)^k}{(2k)!} x^{2k-2}$.
I am looking for a nice bound on $|f^{(n)}(x)...
- 3,808
1
vote
1
answer
217
views
Perturbation of matrices
Let $A(t)$ be a symmetric $n\times n$ matrix that continuously depend on $t\in [0,1]$. Let $\lambda_1(t)$ stand for the smallest eigenvalue for $A(t)$.
Question. Does there exist a Lebesgue measurable ...
- 1,869
4
votes
2
answers
413
views
A measure assigning values in $\{0,1\}$ must be a Dirac measure?
Let $\mu$ be a measure on some measurable space $(\Omega, \mathcal F)$ such that
$$\mu(B)\in \{0,1\},\quad \forall B\in \mathcal F.$$
Can we show that $\mu$ must be a Dirac measure (under suitable ...
- 41.1k
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
1
vote
0
answers
59
views
Study of the properties of a non-local ODE
I am studying the following non-local ODE
$$\dot p(x) \nu_{\varepsilon, \alpha}(x) + \int_{x}^{2x_0}\frac{\dot p(s)}{s + \varepsilon} ds = c \quad \text{for } x \in [0,2x_0].$$
The number $x_0$ can ...
- 452
1
vote
0
answers
76
views
Is this extension of n-th derivatives to ordinal-indexed derivatives trivial? [duplicate]
Let $f$ be a function defined everywhere on the real line, which is infinitely differentiable everywhere, in other words, $f$ is everywhere smooth. I define the $\omega$-th derivative, where $\omega$ ...
- 2,023
1
vote
0
answers
82
views
How to calculate the Integral with confluent hypergeometric function
How to prove this.Thank you in advance
Let $\delta,\beta>0$ How to prove this
\begin{align}
& \int^1_0 \frac{w^{1-\beta}}{(1-w)^{1+\delta}} (-t.s w)^{\frac{-\delta}{2}} e^{-\frac{w}{1-w}(s+t)}...
2
votes
0
answers
319
views
A (possible) generic spectral property in one dimensional dynamics
Context and Definitions
Consider the interval $I=[0,1]$. We say that $T:I\to I$ satisfies the axiom A (I am following [1]) if:
$T$ has a finite number of hyperbolic periodic attractors; and
defining $...
- 333
1
vote
1
answer
120
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
- 227
3
votes
2
answers
293
views
On convergence of convex-concave functions
Let $(f_n)$ be a sequence of twice differentiable functions on $\mathbb R$ such that for each $n$ there exists some $x_n\in\mathbb{R}$ such that:
$f_n$ is strictly convex on $(-\infty,x_n)$,
$f_n$ is ...
- 128k
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
4
votes
1
answer
334
views
Is this approximation for $\pi$ enough to make this value converge? And how to find an upper bound for it
Update:
\begin{align*}
|I_n-J_n| = (\pi-S_n)\sum_{k=0}^n |\frac{a_kp_k(\ln\pi)}{\ln^{k+1}\pi}|
\end{align*}
and
\begin{align*}
|I_n| = \sum_{k=0}^n | \frac{a_k\pi p_k(\ln\pi)}{\ln^{k+1}\pi}
-\sum_{k=...
- 5,409
1
vote
0
answers
79
views
Asymptotics of ${2n \choose n+k} {2n \choose n}^{-1}$ when $k$ grows with $n$
The quotient $Q(n,k) := \frac{{2n \choose n+k}}{{2n \choose n}}$ clearly converges to one for $k \in \mathbb{N}$ fixed and $n \rightarrow \infty$. Simultaneously it converges to zero, if $k$ grows ...
- 1,295
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
1
vote
1
answer
300
views
Convergence of concave/convex function
Let assume that you have a sequence of twice differentiable functions $(f_n)_{n\in\mathbb{N}}\in\mathscr{C}^2(\mathbb{R})^{\mathbb{N}}$. Let suppose that for each $f_n$, it exists a $x_n\in\mathbb{R}$ ...
- 128k