3
votes
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
2answers
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
3answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
3answers
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
1answer
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
2answers
319 views
5
votes
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
6answers
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
1answer
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
0answers
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
3answers
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
2answers
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
2answers
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
1answer
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
3answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
4answers
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
1answer
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 ...