In mathematics, a differential operator is an operator defined as a function of the differentiation operator. (Def: http://en.m.wikipedia.org/wiki/Differential_operator)

learn more… | top users | synonyms

4
votes
0answers
24 views

Why is n-th Fréchet derivative symmetric?

Let $V,W$ be nonzero normed spaces over $\mathbb{K}$. Let $E$ be open in $V$ and $f:E\rightarrow W$ be a twice Fréchet-differentiable function. Then, $D^2 f: E\rightarrow \mathscr{L}_2(V^2,W)$ is ...
0
votes
1answer
20 views

Continuous dependence on initial conditions for second order eigenvalue problem

Consider the Schrödinger eigenvalue problem in one dimension $$\phi'' - V\phi + \mu \phi = 0$$ on $[0,a]$ with boundary $\phi(a) = c$. Suppose that I already have the existence of ...
0
votes
1answer
33 views

Finding series representation of $\frac{1}{P(D)}$ through ordinary division

I am studying ODEs from ordinary differential equations by Tenenbaum and Pollard. The book in its fifth chapter explains inverse operators for finding the particular solution of a constant coefficient ...
0
votes
1answer
28 views

Show for the Hamilton's operator $H$ that $\overline{(H, C_0^{\infty}(\mathbb{R}))} = (H, W_2^2(\mathbb{R}))$ using Fourier transform

Let $V \in C_{b}^{1}(\mathbb{R}, \mathbb{R})$ be a differentiable real-valued function defined on $\mathbb{R}$ bounded with its first derivative. Consider the Hamilton's operator $H$ such that: ...
4
votes
1answer
47 views

Taylor expansion of $\frac{1}{1-D}$, where $D$ is the differential operator

I understand that we can represent $e^D$ simply as a power series of D. But what about functions of D which are not entire on the complex plane? What if the function has no taylor expansion, or if it ...
0
votes
1answer
362 views

Is this second order differential operator Hermitian (2 variables)?

Let $ T= \frac{ \partial^{2}}{\partial _{x} \partial _{y}}+iay\frac{ \partial}{\partial _{y}}+i(1-a)x \frac{ \partial}{\partial _{x}}+ \frac{i}{2}$ be the second order differential operator, where $ ...
6
votes
1answer
220 views

What is the mathematical truth behind the Leibniz notation in differentiating twice or more?

So $f: \mathbb{R} \to \mathbb{R}$ is $n>1$ (or more) times differentiable. The notation of the first derivative makes perfect "sense" with regard to what's going on: $$\lim_{h \to 0} ...
2
votes
1answer
85 views

Closure of the Hamilton's operator $(Hf)(x)=\frac{1}{2}f''(x)-V(x)f(x)$ with $C_c^\infty(\mathbb{R}, \mathbb{C})$ domain

Let $V \in C_{b}^{1}(\mathbb{R}, \mathbb{R})$ be a differentiable function bounded with its first derivative and $H$ be a Hamilton's operator such that: $$(Hf)(x)=\frac{1}{2}f''(x)-V(x)f(x)$$ The ...
11
votes
6answers
816 views

Notation of the differential operator

I see the differential operator both with upright and italic d in different books/articles. So I'm curious about $$ \int x^2 \, dx \quad \text{vs.} \quad \int x^2\, \mathrm{d}x,$$ and ...
0
votes
0answers
24 views

What type of self-adjoint operator does $\hat{P}$ has to be for Green's function to result in a radial exponetial $e^{-\| x-t \|^2}$

I was reading the following paper on hyper basis function (HBF) (similar to radial basis function RBF network) and was trying to understand when is it the case that the network has radial basis ...
4
votes
2answers
169 views

Find $a_{n,i,j}$ in the expansion $(x + D)^n = \sum\limits_{i,j} a_{n,i,j} x^i D^j.$

This is problem 47c. in Stanley's Enumerative Combinatorics Vol. 1. Background: Let $D$ be the operator $\frac{d}{dx}$. Part (a) asks to prove $$ (xD)^n = \sum\limits_{k = 0}^n S(n,k)x^k D^k $$ ...
3
votes
1answer
41 views

What is the significance of the integral of the Hessian determinant?

The integral of a function over some region measures the total value of the function in that region: $$T(u)=\int u\thinspace\mathrm{d}V$$ The integral of the squared norm of the gradient of the ...
0
votes
1answer
38 views

Eigenvector and eigenvalue of the differential operator $L(x)=x''+3x'-4x$

This is a follow up question to this one. Just to summarize. I want to find the kernel, eigenvalues and eigenvectors of the differential operator: $$L(x):=x''+3x'-4x$$ In other words I want to find ...
0
votes
1answer
38 views

Continuously differentiable operator

I consider an operator $A:H^1_0\to H^1_0$ defined by $$Au(t)=\int_0^1 G(t,s) f(s,u(s))ds$$ where $$ G(t,s)=\begin{cases} t(1-s), &t\leq s\\s(1-t), &s\leq t.\end{cases}$$ I want to know what ...
5
votes
0answers
56 views

Abstract definition of a differential operator

In Kolar, Michor, and Slovak, a differential operator is said to be a rule transforming sections of a fibred manifold $Y \to M$ into sections of another fibred manifold $Y' \to M'$. Is this is a ...
0
votes
0answers
19 views

Divergence and formal adjoint operators: are they bounded/continuous?

Let $(M,g)$ be a smooth Riemannian manifold. The divergence operator is the map \begin{align*} \delta_g:\Gamma^k(S^2M)&\rightarrow\Gamma^{k-1}(T^*M)\\ ...
1
vote
1answer
52 views

Manifold,affine connection,vector field

An affine connection on $M$ is a differential operator, sending smooth vector fields $X$ and $Y$ to a smooth vector field $∇_X Y$ , which satisfies the some conditions.I would like to know the ...
1
vote
1answer
30 views

Proof of positive definiteness

$Lu = -u'' + c u$ where c is some constant The question is when it's positive definite in square integrable on $[0; 1]$ with $u(0)=u(1)=0$ $(Lu, u) = \int^1_0 u Lu dx = -u u''+c u^2 dx = \int^1_0 ...
0
votes
2answers
90 views

Relationship between divergence operators defined with respect to two different volume forms.

Let us assume that you have a volume form $\mu$ defined on a manifold $\mathcal{M}$. Then you can define the divergence operator with respect to this metric, such that the following relationship holds ...
9
votes
1answer
338 views

How to show that differential operator can be defined in terms of certain commutator operators

Let $U$ be any open subset of $\mathbb{R}^n$ (or, more general, of some smooth manifold). Define $\mathcal{D}_{-1}(U):=\{0\}$. For any two linear operators $A$ and $B$, the commutator operator $[A,B]$ ...
2
votes
1answer
19 views

Is this entity with operators correct?

Let define the operators $A = \frac{1}{\sqrt{2}}(x+\partial_x)$ and $B = \frac{1}{\sqrt{2}}(x-\partial_x)$. I am suppossed to check the identity $AB-BA=1$ but I cannot proof it. Is the identity ...
2
votes
2answers
28 views

How to apply this operator?

Let $A$ be the operator $2(x+\partial_x)$. Suppose we have a function $f$ and that we apply the operator to this function. How this operator is applied? $2xf+\partial_xf$ or $2x+\partial_xf$? I guess ...
1
vote
0answers
11 views

Decomposition of a differential operator

Let $\mathcal{O}$ be the ring of holomorphic functions on the unit disk deprived of the non-negative real numbers. Let $\mathcal{D}$ be the ring of differential operators on the same space, $\alpha$ a ...
1
vote
0answers
46 views

Find eigenfunctions of the integral operator with kernel $\sum\limits_{n=1}^\infty \frac{1}{n^2} \sin((n+1)x)\sin(ny)$

Find the eigenvalue and eigenfunctions of the integral operator $Ku=\int_0^\pi k(x,y)u(y)dy$. $k( x,y) = \sum\limits_{n=1}^\infty \frac{1}{n^2} \sin\big((n+1)x\big)\sin(ny)$. This is how I ...
2
votes
0answers
84 views

Besov–Zygmund spaces and the Inverse Function Theorem, is the Inverse Zygmund?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
2
votes
1answer
33 views

Laplacian Smoothing Irregular Initial Data

Apparently for many parabolic and elliptic PDEs the (ir-)regularity of initial data does not have any significant impact on the regularity of (weak) solutions. Very often people when people talk ...
0
votes
1answer
16 views

Linear Second order Differential operator proof questions

I have 3 proof questions from my book that I have tried and I would like to see if my solutions are valid and/or there is a simpler way to prove them. Firstly, the notation $ker(L)$ means all $f$ ...
1
vote
0answers
13 views

Linear operator differentiation on a torus

I'm trying to analyze this article about area-preserving diffeomorphisms and don't quite understand a sentence. 4.1. Linear involutions. We start characterizing the linear involutions $R \! : ...
4
votes
0answers
85 views

Metric tensors and linear (differential) operators defined on a manifold and its osculating sphere

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...
2
votes
1answer
54 views

Complex differential operators

Consider the differential operators $\dfrac{\partial}{\partial z}$ and $\dfrac{\partial}{\partial \bar{z} }$ defined by $\frac{\partial}{\partial z} = \frac {1}{2} (\frac{\partial}{\partial x} - ...
1
vote
2answers
36 views

Higher Order ODE with Differential Operators

I am trying to solve an ODE problem involving higher order. Let $p(s) = s(s^2-s+1)(s-1)$ and $D = d/dt$. Solve the initial value problem $$p(D)x = t + e^t,$$ $x'''(2) = 1$, $x''(2) = 1$, and ...
2
votes
1answer
3k views

Transforming the Laplace operator from Polar to Cartesian coordinates

I'm trying to find the error in my logic here. Let's say we are given the Laplace operator in polar coordinates: $$ \frac{\partial^2}{\partial r^2} + \frac{1}{r}\frac{\partial}{\partial r} + ...
1
vote
1answer
19 views

Not understanding why equation 2 and equation 3 has to be multiplied with $v(x)$

The discrete differential operator $L_h$ is defined as: $(L_h v)(x_j)=-\frac{v(x_{j+1})-2v(x_j)+v(x_{j-1})}{\Delta x^2}$ (Equation 1). The contineous problem had solution $v(x_j)=sin(\beta x_j)$. It ...
0
votes
1answer
13 views

Relation between a function and its norm

While reading up on Sturm-Liouville system theory, I came across something I didn't fully understand. At one point, in the midst of proving the existence of solutions to the Sturm-Liouvill problem, ...
1
vote
1answer
55 views

Struggling with Differential Operators?

I'm taking a basic linear algebra/Differential Equations class hybrid (weird right?), and we're currently learning about differential operators. Am I correct in saying that a differential operator is ...
0
votes
0answers
36 views

How can I obtain these differential operators for this transformation?

I have transformation as the following form \begin{eqnarray} \begin{split} &u \longrightarrow \bar{u}=(ax+by+\eta)^{-3} u,\\ &x \longrightarrow \bar{x}=\frac{\alpha x+\beta ...
0
votes
0answers
16 views

Localization of differential operators

Let $R=k[x_1,...,x_n]$ with $k$ a field of characteristic 0. And let $S$ be some multiplicitive set. Or, even, just powers of a monomial. I'm having trouble seeing how to show that ...
5
votes
0answers
64 views

Elliptic and Fredholm partial differential operators

As I learn from the comments to this question a non elliptic operator on a compact manifold can not be a fredholm operator. On the other hand it seems that the following operator is fredholm(At ...
0
votes
1answer
20 views

different between (-(a.b)) and ((-a).b)

One of our teachers said that there is just one example that there is different between $(-(a\cdot b))$ and $((-a)\cdot b)$. He said by using "twice complement," you can find one. I am trying to find ...
0
votes
1answer
50 views

Question on a special Derivative

I have this functional defined from a Hilbert space $H$, $J\colon H\rightarrow \mathbb{R}$ defined by: $$ J(u)=\frac12 \|u\|^2-\int_0^1(A(su),u) ds $$ where $A\colon H\rightarrow H$ is a potential ...
1
vote
0answers
45 views

Linear algebra references explaining matrix form of linear differential and integral operators

Some years ago I was in a lecture where I met for the first time the matrix representation of some differential and integral operators (once discretized). Back then, someone mentioned me that every ...
1
vote
1answer
34 views

Do spectrum and Eigenvalues of $Af=-f''$ concide (under dirichlet boundary conditions)

I am asked to show that for the operator $$ Af = -f'' $$ with $D(A)=\left\{f\in H^2(0,1), f(1)=f(0)=0 \right\} \subset L^2(0,1)$ is self Adjoint in $L^2(0,1)$ (This part is solved). I cannot see ...
4
votes
0answers
43 views

Is it possible to construct a 1-D linear differential operator with given spectrum $0\leq\lambda_0\leq \lambda_1\leq\dots\leq\lambda_n\le\dots$?

Suppose one is given with a sequence $S$ of non-negative real numbers $0\leq\lambda_0\leq \lambda_1\leq\dots\leq \lambda_n\leq\dots$. Under what conditions on $S$, is it possible to construct a Linear ...
1
vote
2answers
47 views

Elliptic differential operator

I am given the differential operator $D(f):=-(fg)'+hf$ and $D^* (f) = g \cdot f' + hf$ where $h,g$ are some smooth functions and want to find out under which conditions, these two operators are ...
0
votes
1answer
36 views

Linearity of a differential equation

The following is the general form of a linear ODE, where $t$ is the independent variable and $y$ is the dependent one: $a_n(t) \frac{d^ny(t)}{dt^n} + a_{n-1}(t) \frac{d^{n-1}y(t)}{dt^{n-1}} + \dots + ...
2
votes
2answers
74 views

Raising and Lowering Through Differentiation

I'm calculating the Christoffel symbols of the second kind which is of course defined as multiplying the symbol of the first kind multiplied by the contravariant metric. I was thinking of how to make ...
0
votes
0answers
34 views

The resolvent of a differentation operator on $C[a,b]$

Consider a densely defined operator $A : C[a,b ]\rightarrow C[a,b ]$, $$Au=u^{\prime}$$ with domain $$D(A)= \{ u\in C^1[a,b]: u(b)=ku(a) \}$$ for some $k>0$. I have to find $R_A(\lambda)$ for ...
2
votes
0answers
49 views

Resolvent operator

Let's consider the following operator on $L^2(\mathbb{R}^3)$ $$A(t)=\Delta+b(t,x)\cdot\nabla$$ where $\Delta$ is the Laplace operator and $b(\cdot,\cdot)$ a smooth vector field. How to compute the ...
1
vote
1answer
34 views

Determine adjoint operator

Let $K\in D\{(x,\xi)\in \mathbb {R}^2 : x > 0, \xi > 0\} $ and $L (\phi)(x)=\int_0^x K (x,\xi)\phi (\xi)d\xi $ for $\phi \in D (\mathbb {R})$ $D $ is the space of testfunctions I know that ...
2
votes
1answer
37 views

Distance between differential operators

Given two differential operators say $D_1$ and $D_2$ is there any meaningful way to define distance between them, does there exist some metric $d(D_1,D_2)$ that satisfies all the necessary properties? ...