Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
87 views

Curl-Div equation with singular matrix

I want to solve the equation: $$ \begin{cases} \nabla \times (A \mathbf v)=f, \quad x\in \Omega \\ \operatorname{div}(\mathbf v)=0, \end{cases} $$ where $\Omega \subset\mathbb{R}^n$, is an open set, $...
Gustave's user avatar
  • 617
0 votes
0 answers
63 views

Computing the eta invariant of a rather contrived operator on the circle

For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
Blind Miner's user avatar
7 votes
2 answers
2k views

Method of characteristics for higher order PDEs in more than two variables

I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
Puzzled's user avatar
  • 8,998
0 votes
0 answers
76 views

Linear dependence of the derivatives of a vector valued function

Let $f:\mathbb{R}\rightarrow\mathbb{R}^5$ be an injective smooth function, and consider the function $$ g:\mathbb{R}^5\rightarrow\mathbb{R}^5 $$ given by $$ g(t_1,t_2,t_3,a,b) = f(t_1)+a(f(t_2)-f(t_1))...
Puzzled's user avatar
  • 8,998
2 votes
1 answer
206 views

On which subspace $W\subset C^{\infty}[0,1]$ is $(Df)(x)=xf'(x)$ a bounded operator provided all functions in $W$ are flat functions?

I have already asked this question on MSE; now I repeat it on MO. https://math.stackexchange.com/questions/4132346/on-which-subspace-w-subset-c-infty0-1-is-df-xfx-a-bounded-operator First we ...
Ali Taghavi's user avatar
2 votes
0 answers
131 views

Taylor series with less than differentiability

I have a function $f^0\colon (0;\infty) \to \mathbb R$ with the property that the following limit exists and is finite $$ F^1 := \lim_{x\to \infty} x \cdot f^0(x) $$ Then I consider $f^1(x) := x \cdot ...
Kolodez's user avatar
  • 335
4 votes
1 answer
377 views

Differential inequalities under which a flat function must be identically zero

Let $f:\mathbb{R}\to \mathbb{R}$ be a smooth function which is flat at $0\in \mathbb{R}$. That is $f^{(k)}(0)=0,\; k=0,1,2,\ldots $. Assume that $|f''(x)|\leq M|f(x)|\quad \forall x\in \mathbb{R}$ ...
Ali Taghavi's user avatar
5 votes
1 answer
1k views

Analytic functions where all derivatives vanish at infinity and which are bounded

Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$. I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
tobias's user avatar
  • 749
2 votes
0 answers
42 views

Analysis of coefficients for quickly vanishing analytic vector field

Let $u = (u_1, u_2, u_3): \mathbb{R}^n \rightarrow \mathbb{R}^n$ be a divergence-free analytic vector field for $n =3$ or $n =4$, i.e., $u_i : \mathbb{R}^n \rightarrow \mathbb{R}$ are analytic ...
tobias's user avatar
  • 749
5 votes
2 answers
233 views

Analytic approximations of smooth vector fields

Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with $$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$ on $\mathbb{R}^3$ for any $\alpha,K$. Further, we ...
tobias's user avatar
  • 749
5 votes
0 answers
218 views

A differential operator analogy of certain fact in real analysis of smooth functions

Let $E\to M$ be a smooth vector bundle over a smooth manifold $M$. Let $D$ be a differential operator defined on the space $\Gamma(E)$ of smooth sections of $E$. We fix a section $s\in \Gamma(E)$. ...
Ali Taghavi's user avatar
3 votes
0 answers
53 views

Controlling a Schwartz kernel near the diagonal

Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
geometricK's user avatar
  • 1,903
5 votes
0 answers
273 views

Is there any geometrical/homological intuition behind symmetrized gradient?

The gradient/differential/exterior differential/divergence/curl are all strictly related first order differential operators. As far as I understood, they are the base of (co)homological theories in ...
Romeo's user avatar
  • 980
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$}...
Harish's user avatar
  • 261
1 vote
1 answer
161 views

Continuity of image of resolvent operator with respect to resolvent parameter

Suppose $D$ is a first-order differential operator on a manifold $M$ and that the inverse $(D+t)^{-1}:H^0(M)\rightarrow H^1(M)$ exists for all $t > 0$, where $H^i(M)$ is the $i^\text{th}$ Sobolev ...
geometricK's user avatar
  • 1,903
5 votes
2 answers
977 views

Symbol of the Laplace-Beltrami on $\mathbb{S}^2$

This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e. A differential operator $P=\sum_{|\...
BaoLing's user avatar
  • 329
2 votes
1 answer
499 views

Inverse of pseudo differential operator

Let $\operatorname{Op}_h(x,D)(a)$ denote the Weyl-quantisation of a symbol $a$. Is there an explicit way to invert this pseudo-differential operator in an asymptotic series? By this I mean, can we ...
Gregory's user avatar
  • 61
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
5 votes
0 answers
270 views

Differential operators that preserve real-rootedness

Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
David E Speyer's user avatar