24.04.2013 Views

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

Nonlinear Control Sy.. - Free

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.

6.1. FUNCTION SPACES 157<br />

Both L2 and L,,. are special cases of the so-called LP spaces. Given p : 1 < p < oo, the<br />

space LP consists of all piecewise continuous functions u : IIt+ -4 Rq satisfying<br />

00 1/P<br />

IIUIIcp f (f (f[Iu1I'<br />

+ IU2IP + ... + IugIP] dt) < oo. (6.3)<br />

Another useful space is the so-called L1. From (6.3), L1 is the space of all piecewise<br />

continuous functions u : pg+ -4 Rq satisfying:<br />

IIUIIc1 f (jiuii + IU2I + + jugI] dt) < oo. (6.4)<br />

Property: (Holder's inequality in Lp spaces). If p and q are such that 1 + 1 = 1 with<br />

1 < p < oo and if f E LP and g E Lq, then f g E L1, and<br />

I(f9)TII1=<br />

T<br />

f f(t)9(t)dt < (fT f(t)Idt) (fT I9(t)I<br />

o<br />

dt) . (6.5)<br />

For the most part, we will focus our attention on the space L2, with occasional<br />

reference to the space L. However, most of the stability theorems that we will encounter<br />

in the sequel, as well as all the stability definitions, are valid in a much more general setting.<br />

To add generality to our presentation, we will state all of our definitions and most of the<br />

main theorems referring to a generic space of functions, denoted by X.<br />

6.1.1 Extended Spaces<br />

We are now in a position to introduce the notion of extended spaces.<br />

Definition 6.3 Let u E X. We define the truncation operator PT : X -> X by<br />

def<br />

(PTU)(t) = UT(t) =<br />

u(t), t < T<br />

0, t > T<br />

t, T E R+ (6.6)<br />

Example 6.1 Consider the function u : [0, oo) -+ [0, oo) defined by u(t) = t2. The truncation<br />

of u(t) is the following function:<br />

_ t2, 0 < t < T<br />

uT(t) 0, t > T

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

Saved successfully!

Ooh no, something went wrong!