All Questions
5,909 questions
3
votes
1
answer
255
views
Closure of tensor product /tensor product semigroup
In this reference the following claim is made in Remark 2
Let $A,B$ be closable operators on Banach spaces $X,Y$, then $A \otimes 1$ and $1 \otimes B$ are closable operators on the Banach space $X \...
CommunityBot
- 1
3
votes
1
answer
142
views
PDE satisfied by projection of a function onto a subspace
Given an open bounded set $D\subset \mathbb R^N$, let $f\in W^{-1,q}(D)$ and let $u$ be a Sobolev function $u\in W_0^{1,p}(D)$ such that $u$ solves the PDE
$$
\begin{cases}
-\Delta_p u=f\;\text{in $D$}...
- 1,724
0
votes
1
answer
136
views
A question on existence of a Sobolev Hilbert space, where convergence implies uniform convergence [closed]
Is there a Sobolev Hilbert space $H^k(\Omega)$($\Omega$ open subset of $\mathbb{R}^m$, with a smooth boundary), for some $k \in \mathbb{N}$, such that, any sequence in the space $C^0(\bar{\Omega})\cap ...
- 4,713
4
votes
0
answers
159
views
inverse of sobolev riemannian metric still sobolev?
Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
- 39.1k
1
vote
1
answer
239
views
Reference request for weak solutions of an Elliptic PDE
Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one.
I want to find weak, non trivial, continuous, solutions of $$\...
- 69
2
votes
0
answers
198
views
Continuous Local Martingales under time change under what conditions are they still local martingales?
This question is motivated by reading a section in Continuous Martingales and Brownian Motion by Daniel Revuz, Marc Yor.
In Chapter V there is a section on time-change:
Definition:
A time change $C$...
7
votes
2
answers
684
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
- 28.6k
2
votes
1
answer
263
views
Schwartz space on $\bigcup_{n=1}^CR^n$
I have an application where I need to work with the following idea.
Let the space $\bigcup_{n=1}^C \mathbb{R}^n$ be associated with the metric $d$ such that for $x=(x_1,\cdots,x_n)$ and $y=(y_1,\cdots,...
- 21
2
votes
0
answers
453
views
Is that correct $\mathbb R^2\cong\mathbb R$ as measurable spaces? [closed]
Is that correct $R^2\cong R$ as measurable spaces?
If we consider $R$ and $R^2$ with Borel $\sigma$-algebras, is there measurable map from $R$ to $R^2$ with measurable inverse?
- 29
4
votes
1
answer
1k
views
Derivative of Lipschitz continuous functions
Given a real analytic family of Lipschitz continuous functions $f_t:\overline{U}\rightarrow\mathbb{R}^n$, $t\in\mathbb{R}$, with $U\subset \mathbb{R}^n$ some open and bounded domain. For each $t_0\in \...
CommunityBot
- 1
17
votes
2
answers
3k
views
The Riemann hypothesis as a problem in analysis
The recent post("Long-standing conjectures in analysis ... often turn out to be false") prompted me to think about a question which I have not given much though before: to what extent the ...
5
votes
2
answers
242
views
Can we stay invertible while approximating linear maps in Sobolev spaces?
Let $\Omega \subseteq \mathbb{R}^n$ be an open bounded domain with a smooth boundary. Fix $1<p<n$.
Let $A \in W^{1,p}(\Omega;\text{End}(\mathbb{R}^n)) \cap C(\Omega;\text{End}(\mathbb{R}^n))$ ...
CommunityBot
- 1
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$" by Colliander, Keel, Staffilani, Takaoka and Tao it is argued in the beginning ...
CommunityBot
- 1
1
vote
1
answer
196
views
Giving Uniform Bound on Differences of Sums of Converging Polynomials
The title does not quite capture the essence of the difficulty, please allow me to be more explicit here.
I thought of this question when I was trying out an open problem by Ovidiu Furdui(See problem ...
- 128k
12
votes
1
answer
1k
views
Proof of Green's formula for rectifiable Jordan curves
$\newcommand{\Ga}{\Gamma}$
I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
- 8,992
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
CommunityBot
- 1
1
vote
0
answers
74
views
Nonlinear maps in Riesz Thorin theorem
The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear.
What I was wondering about is whether this is because otherwise you do ...
CommunityBot
- 1
5
votes
2
answers
415
views
Existence of Solution, System of Equations
Suppose $P(\lambda, i)$ is the probability that a Poisson random variable with average $\lambda$ is equal to $i$, i.e. $\frac{\lambda^i}{e^{\lambda}i!}$
I think the following system of equations ...
- 128k
-1
votes
1
answer
149
views
How to choose compactly supported smooth $h$ so $h^2(x)+ h^2(x-1)=1$ for all $x\in [0,1],$ and $\int_{-3/4}^{3/4} |h(x)|^2 dx =3/2$? [closed]
It is known that we may choose smooth $f:\mathbb R \to [0,1]$ such that $f(x)=1$ if $x\geq \frac{3}{4} $ and $f(x)=0$ if $x\leq -\frac{3}{4}+1.$
Define $h(x)= \sin (\frac{\pi}{2} f(x+1))$ if $x\...
- 305
13
votes
2
answers
317
views
Semigroup of differentiable functions on real line
Let $D(\mathbb R) $ be the set of all differentiable functions $f: \mathbb R \to \mathbb R$. Then obviously $D(\mathbb R)$ forms a semigroup under usual function composition. Can we characterize (up ...
- 17.2k
3
votes
0
answers
106
views
Dependency of the Wasserstein distance on the parameter: a differential perspective
Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$. Consider the $2-$Wasserstein distance below:
$$W_2(\mu,\nu)^2 \quad := \quad \inf_{\...
- 345
19
votes
1
answer
556
views
Can an injective $f: \Bbb{R}^m \to \Bbb{R}^n$ have a closed graph for $m>n$?
Question. Suppose $m>n$ are positive integers. Is there a one-to-one $f: \Bbb{R}^m \to \Bbb{R}^n$ such that the graph $\Gamma_f$ of $f$ is closed in $\Bbb{R}^{m+n}$?
Remark 1. The answer to the ...
- 18.6k
2
votes
0
answers
224
views
Idea behind choosing $\small f(x)$ as $c^{s}x^{p-1} \frac{[\theta(x)]^{p}}{(p-1)!}$ in the proof that $\pi$ is transcendental [closed]
I am going through the article at this link, where the author proves that: "$\pi$ is $\text{transcendental}$ over $\mathbb{Q}$". Although, I understand the proof, I have some doubts.
At page $6$, the ...
- 4,713
4
votes
2
answers
141
views
A kind of exponential concavity for polynomials?
Is there $C > 0$ such that the inequality
$$
\prod_{n\in\mathbb{N}} p(n)^{a_n} \leq p\left(C\prod_{n\in\mathbb{N}} n^{a_n}\right)
$$
holds for all finitely supported sequences $(a_n)$ with $a_n\geq ...
- 85.6k
7
votes
2
answers
666
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 3,768
2
votes
0
answers
190
views
Absence of fixed points
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \frac{xy}{(x^2+y^2+1)} \ dx$$
where $x_0$ is an arbitrary but fixed ...
2
votes
1
answer
724
views
Applications of the Calderon-Zygmund theory to PDE's
I am planning to build a PDE topics course focussing on the Calderon-Zygmund theory. I know some important applications of the Calderon-Zygmund theory to elliptic PDEs, but I don't know enough to get ...
1
vote
0
answers
113
views
Higher Order Partial Derivatives Test
For a nonconstant analytic function $ℝ→ℝ$, a point is a local minimum iff at that point, the order of the first nonzero derivative is even and that derivative is positive. Is there an analogous test ...
- 7,545
2
votes
1
answer
218
views
Computing minimum / maximum of strange two variable funcion
I want to compute $$\max_{\frac{1}{5 \theta }\leq \alpha \leq \frac{1}{2}} \left(\frac{\alpha\log (\alpha)}{1-\alpha} + \log \left( 1 - \alpha\right) + \frac{1}{1-\alpha} \cdot \left( f\left(\frac{...
- 128k
5
votes
1
answer
376
views
Equivalent of Lusin's Theorem in Borel setting
Let $X$ be a Polish space, $\mathcal B$ the sigma-algebra
of Borel sets. Let $E$ be an
aperiodic countable Borel equivalence relation on
$X \times X$ (this means that every class of equivalence
...
- 53
3
votes
1
answer
274
views
Function square-integrable
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$
where $x_0$ is an ...
- 79.9k
22
votes
1
answer
3k
views
Differential equation changing sign almost everywhere
Conjecture: Let $f:\mathbb{R}→\mathbb{R}$ be an everywhere differentiable function and assume that $f(x)+f′(x)∈ \{-1,1\}$ almost everywhere and $f'(0)=0$. Then is $f$ necessarily a constant function?
...
- 17.2k
0
votes
2
answers
132
views
Dirichlet problem for capillary equation over convex domain
Let $\Omega \subseteq \mathbb{R}^2$ be a bounded convex domain with piecewise smooth boundary.
Let $\phi :\partial \Omega \to \mathbb R$ be a continuous function.
Let $L$ be a quasilinear elliptic ...
CommunityBot
- 1
10
votes
1
answer
872
views
Current vs Varifold
I know the basic definitions concerning current and varifold, and they are generalization of submanifolds. What are their respective pros and cons? What are their crucial similarities and differences?
- 188k
18
votes
2
answers
576
views
Existence of an antiderivative function on an arbitrary subset of $\mathbb{R}$
Let $f:\mathbb{R}\to \mathbb{R}$ be continuous at $x$ for every $x\in I$ where $I\subset \mathbb R$ could be arbitrary. Does there always exist a function $F:\mathbb{R}\to \mathbb{R}$ differentiable ...
- 17.2k
-3
votes
1
answer
392
views
A generalization of Chebyshev's sum inequality
From some my previous questions here and here and well-known rearrangement inequality. I pose an inequality as follows and I am looking for the proof or a reference.
Inequality: Let $y=f(x,y)$ is ...
- 1,776
1
vote
1
answer
65
views
Generalizations of Pedal Coordinates
I recently "stumbled upon" the article
Pedal coordinates, Dark Kepler and other force problems by Petr Blaschke from 2017; further search about Pedal Coordinates didn't bring up any other ...
CommunityBot
- 1
1
vote
0
answers
117
views
Estimation of the integral $\int_a^b e^{2\pi i f(x)} dx $
Let $f$ be a $C^2$ real-valued function on the interval $[a,b]$. Suppose that $f'(x)$ is monotone on $[a,b]$ and there is $\lambda>0$ such that
$$
\min_{x\in [a,b]} |f'(x)|>\lambda
$$
It is ...
- 105k
1
vote
2
answers
228
views
Number theory on Banach space $L^2(\mathbb R)$ meets linear independence?
Consider an orthonormal basis $(\varphi_k)$ of $L^2(\mathbb R)$ with Lebesgue measure.
I came along a nice number theoretic question in analysis:
Write $$f_k(x):=\int_{\left\lvert y \right\rvert \...
- 54.2k
1
vote
1
answer
124
views
Do functions exist and are they dense? Or does it depend on the basis?
Consider an orthonormal basis $(\varphi_n)_{n \in \mathbb N}$ of $L^2(\mathbb R).$
We consider the functionals $\Phi_n$ given by $$ C^b(\mathbb R) \ni f \mapsto \left\langle \varphi_n, f \varphi_{n+1}...
- 556
1
vote
1
answer
195
views
An equation in Gamma function has at most (n-1) positive solutions
I have to prove some result. And for that, I need to prove this new problem.
To prove,
$c_{1}\Gamma(z+b_{1})+c_{2}\Gamma(z+b_{2})+\ldots+c_{n}\Gamma(z+b_{n})=0$
has at most $(n-1)$ real positive ...
- 39.9k
3
votes
0
answers
129
views
Function and distance on bounded set [closed]
Does there exist a bounded set $A \subset \mathbb{R}^ n$ (for some $n$) and a function $f:A\to A$ (not necessarily onto) such that $\forall x,y \in A$ then $\|x-y\| < \|f(x)-f(y)\|$?
If such a ...
- 3,574
6
votes
1
answer
186
views
Reference request: A collection of topologies on $\mathbb{N}$ formed via series
First, some quick notation: for any series $\sum_{n=1}^\infty a_n$ whose terms are positive real numbers, and for any subset $M = \{m_1, m_2,...\} \subseteq \mathbb{N}$, we write $\sum_M a_n$ to mean ...
- 1,615
1
vote
1
answer
136
views
Conditions to obtain a real logarithm of a unitary unimodular complex matrix?
The problem statement is the following:
$$U=\exp\{iV\}$$
where $U$ is a unitary unimodular matrix of the following form:
$$U=\begin{bmatrix}u_1+iu_2&u_3+iu_4\\-u_3+iu_4&u_1-iu_2\end{bmatrix}...
- 188k
4
votes
1
answer
860
views
Lebesgue's integrability condition in several variables
The well known Lebesgue's condition of Riemann integrability says that a bounded function in one variable
$f\colon [a,b] \to \mathbb{R}$ is Riemann integrable if and only if it is continuous almost ...
- 41.1k
3
votes
1
answer
169
views
On the values of an entire function
Let $0<q<1$ and consider the entire function $f(z)=\displaystyle \sum_{k=0}^\infty q^{k^2}z^k$. For $a>1,$ denote $m_j=f(a^j),\; j=0,1,2,\dots.$
Question: Does there exist an entire function ...
- 17.2k
2
votes
2
answers
233
views
Sum of a terms in a divergent series taken along indices the sum of whose reciprocal diverges. Can the sum converge?
Let $\{x_n\}_{n=1}^{\infty}$ be a monotone decreasing sequence of positive real numbers such that $\sum_{n=1}^{\infty} x_n$ diverges. Also let $\{k_n\}_{n=1}^{\infty}$ be a strictly increasing ...
- 128k
1
vote
0
answers
93
views
Relative boundedness of the adjoint
Let $X$ be a separable Banach space and $T_1:D(T_1) \subset X \rightarrow X$ and $T_2:D(T_2) \subset X \rightarrow X$ two closed operators with $D(T_2)\subset D(T_1)$ and $D(T_2^*) \subset D(T_1^*).$
...
- 33
3
votes
1
answer
568
views
Does there exist a Lebesgue nonmeasurable set $E$ in $\mathbb{R}$ satisfies that $E\cap A$ is a Borel null set for every Borel null set $A$?
Let $\mathcal{B}_{\mathbb{R}}$ be the Borel $\sigma$-algebra on $\mathbb{R}$ and $\mu_L$ be the Lebesgue measure on $\mathbb{R}$.
Define a new $\sigma$-algebra $\mathcal{B}_0$ as follows:
$$\mathcal{...
- 1,997
2
votes
1
answer
470
views
Description of (completely) bounded operator
I am somewhat a beginner in the field of operator algebras and was wondering about the following:
Let $T$ be a linear map between the space of bounded operators $B(H)$ on some Hilbert space and $S$ a ...
- 42.8k