11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Functional Spaces 85<br />

Higher-order derivatives are similarly defined. The measurable function v is the k-th<br />

derivative of u if<br />

<br />

(5.4.4)<br />

I<br />

u dk <br />

φ<br />

dx = (−1)k vφ dx, ∀φ ∈ C<br />

dxk I<br />

∞ 0 (I), k ≥ 1.<br />

The weak derivative of a function u is not uniquely determined. However, two different<br />

derivatives are equivalent, hence they are in the same class Cv.<br />

In general, not all integrable functions adm<strong>it</strong> a weak derivative, unless we enlarge<br />

the space of possible derivatives. This extension leads to the defin<strong>it</strong>ion of the space of<br />

distributions, whose elements are often not even representable as functions (the typical<br />

example is the Dirac delta). For simplic<strong>it</strong>y, we skip this subject and refer the interested<br />

reader to the following authors: schwartz(1966), treves(1967), guelfand, graev<br />

and vilenkin(1970), and garnir, de wilde and schmets(1973).<br />

In the following sections, we study how to use weak derivatives to define add<strong>it</strong>ional<br />

functional spaces.<br />

5.5 Transformation of measurable functions in R<br />

Let C denote the set of complex numbers. A function u : R → C is measurable when<br />

both the real part Re(u) and imaginary part Im(u) are measurable. Then we define<br />

(5.5.1) L 2 <br />

(R;C) :=<br />

<br />

<br />

u measurable and<br />

<br />

[(Re(u)) 2 + (Im(u)) 2 <br />

]dx < +∞ .<br />

Cu<br />

The space in (5.5.1) is a Hilbert space w<strong>it</strong>h the (complex) inner product<br />

<br />

(5.5.2) (u,v) L2 (R;C) := u¯v dx, u,v ∈ L 2 (R;C),<br />

where ¯v denotes the complex conjugate of v.<br />

R<br />

Let us now consider the operator F : L 2 (R;C) → L 2 (R;C). This maps u ∈ L 2 (R;C)<br />

to the function defined by:<br />

R

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!