# Definition:Differential Operator

Jump to navigation
Jump to search

It has been suggested that this page or section be merged into Definition:Partial Differential Operator.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Mergeto}}` from the code. |

## Theorem

Let $A$ be a mapping from a function space $\FF_1$ to another function space $\FF_2$.

Let $f \in \FF_2$ be a real function such that $f$ is the image of $u \in \FF_1$ that is: $f = A \sqbrk u$

A **differential operator** is represented as a linear combination, finitely generated by $u$ and its derivatives containing higher degree such as

- $\ds \map P {x, D} = \sum _{\size \alpha \mathop \le m} \map {a_\alpha} x D^\alpha$

where:

- $\alpha = \set {\alpha_1, \alpha_2, \dotsc \alpha_n}$ is a set of non-negative integers forming a multi-index
- $\size \alpha = \alpha_1 + \alpha_2 + \dotsb + \alpha_n$ is the length of $\alpha$
- the $\map {a_\alpha} x$ are real functions on a open domain in a real cartesian space of $n$ dimensions
- $D^\alpha = D_1^{\alpha_1} D_2^{\alpha_2} \dotsm D_n^{\alpha_n}$.

This page needs proofreading.This definition copied from Wikipedia and made more or less coherent. Please correct as necessary.If you believe all issues are dealt with, please remove `{{Proofread}}` from the code.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Proofread}}` from the code. |