# Tagged Questions

**3**

votes

**2**answers

111 views

### Existence for ODE in Banach space (accretive operators and Crandall-Liggett)

There is a theory of mild solutions $u \in C^0(0,T;X)$ where $X$ is a Banach space for equations of the form
$$\frac{du}{dt} + Au = f$$
where $A$ is an accretive nonlinear operator under some ...

**3**

votes

**1**answer

133 views

### A differentiable version of the Michael selection theorem

Assume that $X$ and $Y$ are Banach spaces and $T:X\to Y$ is a bounded surjective linear map.
Is there a Gateaux differentiable function $g:Y\to X$ such that $T\circ g=Id_{Y}$?

**3**

votes

**1**answer

202 views

### A (non trivial) continuous map on a Banach space which is nowhere Frechet differentiable

Assume that $X$ is a Banach space. Is there a continuous map $f:X\to X$ such that $f$ is nowhere Frechet differentiable, but its restriction to every finite dimensional subspace is every where Frechet ...

**1**

vote

**0**answers

72 views

### Inverse Transpose of Jacobian Matrix

Let $f:\mathbb{R}^n\mapsto\mathbb{R}^n$ be a bijective function. Fixed $a\in\mathbb{R}^n$. For any $x$ closes to $a$, using Taylor's series we can approximate $f(x)$ by
\begin{equation}
f(x)\approx ...

**1**

vote

**1**answer

129 views

### Is the speed of a curve in $ \ell^\infty $ zero a.e. if the derivative of each component is zero a.e.?

Let $ A $ be an $ \mathcal{H}^1$-measurable subset of $ \mathbb{R} $ and $ \gamma \colon A \subseteq \mathbb{R} \to \ell^\infty $ be a Lipschitz mapping with the Lipschitz constant $ L $. Also, assume ...

**2**

votes

**0**answers

87 views

### A two dimensional integral equation

I have the following integral equation:
$\phi(x, y) = \frac{a}{x-y} \int_y^x \phi(s, y) ds + \frac{b}{x-y} \int_y^x \phi(x, s) ds$
where $a > 1$ and $b> 1$ are constants, and $x \geq y$. The ...

**1**

vote

**0**answers

139 views

### matrix Khintchine inequality

The usual Khintchine inequality says that if $\{\epsilon_n\}_{n = 1}^N$ are i.i.d. random variables with $\mathbb{P}(\epsilon_n = \pm 1) = \frac{1}{2}$ for each $n$ then
\begin{equation*}
\left( ...

**5**

votes

**2**answers

348 views

### What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$

It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...

**27**

votes

**2**answers

2k views

### Dynamical properties of injective continuous functions on $\mathbb{R}^d$

Let $\varphi:\mathbb{R}^d\to\mathbb{R}^d$ be an injective continuous function.
Denote by $\varphi_n$ the $n$-th iterate of $\varphi$, i.e.
$\varphi_n(x)=\varphi_{n-1}(\varphi(x))$ for all ...

**1**

vote

**3**answers

241 views

### What are the basis functions for a product space?

Let $X=L^1\left([0,1]^3\right)$,
for numerical purpose, what are the possible basis function for $X$?
In finite element method, the basis functions are tooth functions, or polynomial functions.
Is ...

**2**

votes

**2**answers

182 views

### specific improper integral involving erf

I have encountered an integral, and kindly ask for help with a solution. It is beyond my own capabilities, and neither Maple nor Mathematica were of any help:
$$
\int_{1}^{\infty} ...

**2**

votes

**0**answers

87 views

### growth bound for solution of an ordinary integro-differential equation

I am considering the following ordinary integro-differential equation
$$
A g = \sigma^2(y) + \int_\mathbb{R} \nu(y,dz) z^2
$$
where
$$
A = b(y) \partial + \frac{1}{2} \sigma^2(y) \partial^2
+ ...

**4**

votes

**1**answer

262 views

### Pseudo-differential operators with compactly supported symbols

If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO ...

**2**

votes

**0**answers

145 views

### A contradiction to do with continuity? (involves chain rule)

Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE
$$\frac{d}{dt}D^0_t(\cdot) = ...

**4**

votes

**0**answers

163 views

### decreasing rearrangements: why the asymmetry of measure-preserving maps?

Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...

**4**

votes

**1**answer

273 views

### On the convergence of the the function series $\sum_{n=0}^\infty(-1)^n\frac{f^{(n)}(x)}{n!}x^n$

Let $f$ be a smooth real function defined around origin. If we
informally differentiate from the series
$\hat{f}(x):=\sum_{n=0}^\infty(-1)^n\frac{f^{(n)}(x)}{n!}x^n$ term
by term we get ...

**1**

vote

**0**answers

81 views

### Conditions on a measure to satisfy certain relation on moments.

Suppose we have a measure $\mu$ on $\mathbb R_+$ such that $\forall s>-1$ $t^s\in L^1(\mathrm d\mu(t))$.
I'd like to impose some conditions on $\mu$ so the function
$$f:p\to \frac{\int_0^\infty ...

**3**

votes

**2**answers

222 views

### Bruhat-Schwartz functions and derivatives in p-adic numbers

First of all, I am not an expert in neither classical, nor $p$-adic functional analysis, but anyway, I stumbled over the following lately:
Let $\varphi:\mathbb{Q}_p\rightarrow\mathbb{C}$.
...

**3**

votes

**0**answers

172 views

### Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold

I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...

**1**

vote

**0**answers

84 views

### Fundamental solutions for degenerate elliptic equations

Hello,
I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elliptic equations $L = ...

**0**

votes

**1**answer

184 views

### Variation on Fatou's lemma for Sobolev norms

Recall that Fatou's Lemma says that for every sequence $f_n$ of non-negative measurable functions
$$\int \liminf_{n\to \infty} f_n \ d\mu\leq \liminf_{n\to \infty} \int f_n\ d\mu \ .$$
If I am not ...

**6**

votes

**1**answer

275 views

### Could we interpolate the compactness of compact operators?

Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operators, viz., the ...

**2**

votes

**2**answers

256 views

### A sufficient condition for a probability measure to have compact support

Consider a probability measure $\mu$ on, let's say, $\mathbb R$.
Is there a necessary and sufficient condition so that $\mu$ has compact support $Supp(\mu)$ ?
I agree this question is too vague, ...

**5**

votes

**2**answers

387 views

### For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?

(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...

**4**

votes

**3**answers

1k views

### Does the derivative of log have a Dirac delta term?

Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics":
$\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...

**1**

vote

**1**answer

145 views

### weak*closure of {f:||f||=1} in dual.

What is the weak* closure of {f:||f||=1}? I am sure this set is not closed in weak* topology.
So what is the weak* closure of this set. Thanks.

**0**

votes

**2**answers

319 views

**5**

votes

**1**answer

150 views

### Convolution in $\ell_p$ when $0<p<1$

Background
It is known that given real sequences $a = (a_n)_{n \in \mathbb Z} \in \ell_p$ and $b = (b_n)_{n \in \mathbb Z} \in \ell_q$, their convolution defined as
$$ a * b (n) = \sum_{k \in \mathbb ...

**1**

vote

**1**answer

163 views

### Weierstrass Approximation Theorem with an additional condition

Good afternoon:
Let $f$ be a continuous function defined on an closed interval $[a, b]\subset\mathbb R$.
By Weierstrass Approximation Theorem, for any $\epsilon>0$, there is a polynomial $p$ such ...

**4**

votes

**1**answer

266 views

### Riemann-Lebesgue lemma for measures

Riemann Lebesgue Lemma states that Fourier transform of an $L^1$ function, $\hat{f}(\lambda)$ is continuous and goes to zero as $|\lambda|\to \infty$. If $\mu$ is a finite nonatomic measure then is it ...

**5**

votes

**1**answer

234 views

### For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...

**6**

votes

**1**answer

223 views

### Poincaré lemma in infinite dimensions

Hi everyone,
Is the Poincaré lemma true in infinite dimensions?
Here's a precise statement:
Let $X$ be a Banach (or maybe Hilbert) vector space, $U$ a simply connected open set in $X$. Is it true ...

**4**

votes

**2**answers

342 views

### Proving that a complicated function is eventually concave

I have a function $f:\mathbb{R}^+ \to \mathbb{R}^+$ that I want to prove is eventually concave - i.e. that there exists $\gamma _0 > 0$ such that for every $\gamma>\gamma_0$, $f(\gamma)$ is ...

**0**

votes

**0**answers

140 views

### Continuity of the Shadow of a Nondecreasing Function

So I'm working a lot with monotone nondecreasing functions $f : [0,1] \rightarrow [0,1]$, and I'm defining a certain discrete dynamics on them. Here nondecreasing means $x < y \Rightarrow f(x) \leq ...

**3**

votes

**6**answers

629 views

### Real functions with finitely many zeroes

I am looking for as general a class as possible of real functions defined on $\mathbb{R}^+$ that are guaranteed to have a finite number of zeroes - no, polynomials are not enough :).
Specifically, ...

**0**

votes

**1**answer

239 views

### Growth rate of a sum

Consider a positive sequence $x_n >0$ that satisfy the condition that there exists a constant $0<\alpha<1$ such that $x_{n+1} \geq \alpha (x_1+\ldots{} +x_{n})$.
What can be said about the ...

**6**

votes

**0**answers

235 views

### Birth-Death Process associated with Orthogonal Polynomials

I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...

**3**

votes

**3**answers

337 views

### Continuity with values in L^2

Hi,
let $T>0$, $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain and suppose
$$u\in L^2(0,T;W^{1,2}(\Omega))\cap L^\infty((0,T)\times\Omega))\ \text{and } \partial_tu\in ...

**4**

votes

**2**answers

371 views

### Can we calculate the inner product of a semicontinous function with the Dirac delta function?

Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...

**6**

votes

**2**answers

574 views

### What is the simplest oscillatory integral for which sharp bounds are unknown?

I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...

**1**

vote

**1**answer

445 views

### Solutions to Heat Equations with Obstacles!

Consider a closed Riemannian manifold $(M,g)$ and a positive function $\psi: M \to R$. Fix a point $p \in M$, I have been struggling to construct a solution to the heat equation, $\partial_t u = ...

**23**

votes

**3**answers

1k views

### Which differential equations allow for a variational formulation?

Many ODE's and PDE's arising in nature have a variational formulation. An example of what I mean is the following. Classical motions are solutions $q(t)$ to Lagrange's equation
$$
...

**0**

votes

**1**answer

139 views

### A property of a quasiperiodic function

Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...

**1**

vote

**0**answers

114 views

### showing convergence of a function recursion relation

I have obtained (formally) a perturbative solution
$$
H(y) = \sum_{n=0}^\infty \delta^n H_n(y)
$$
to the following integro-differential equation ($\delta$ is a small constant, $\nu$ is a L\'evy ...

**2**

votes

**2**answers

112 views

### convergence of the coefficients of lacunary series

I just want to find some standard reference to the following result: let $(a_k)_k$ be the sequence of coefficients of a lacunary Fourier series which converges to an $L_1(T)$ function in the sense of ...

**0**

votes

**1**answer

393 views

### Hölder continuity of uniform limit of piecewise constant functions

Consider a piecewise constant function $v: [a,b] \rightarrow \mathbb{R}$ defined by a finite partition $a=t_0 < t_1 < t_2 < ... < t_s=b$ of the interval $[a,b]$, and constants ...

**0**

votes

**1**answer

191 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 ...

**1**

vote

**1**answer

147 views

### ODE for functions with values in locally convex TVS

Given an ODE for a function $u \in C^1(I,V)$, where $V$ is some locally convex TVS (topological vector space) and $I \subset \mathbb{R}$, i.e.
$\frac{d}{dt} u = f(t,u)$
for some function $f: I ...

**1**

vote

**4**answers

307 views

### A Fractional Linear Transformation Class Property

Let $\mathcal{S}$ be the class of Fractional Linear Transformations (or FLT's) consisting of $f: [-1,0] \rightarrow [-1,0]$ such that $f(x) = \frac{ax+b}{cx+d}$ where
$a,b,c,d \in R$, and ...

**6**

votes

**1**answer

427 views

### A characterization of Lagrange multiplier. Where to find a proof?

Let $F,G\in C^1(\mathbb{R}^n,\mathbb{R})$. Assume for
$s\in(s_0-\varepsilon,s_0+\varepsilon)$,
\begin{align}
E(s) = \min F\quad\mbox{subject to}\quad G=s
\end{align}
is achieved at some ...