Linear control ODE - exponential convergence?


by haluza
Tags: control theory, convergence, lines ode
haluza
haluza is offline
#1
Jul3-12, 07:27 PM
P: 1
Hello,

I'm having hard times with the following simple linear ODE coming from a control problem:
$$u(t)' \leq \alpha(t) - u(t)\,,\quad u(0) = u_0 > 0$$
with a given smooth α(t) satisfying
$$0 \leq \alpha(t) \leq u(t) \quad\mbox{for all } t\geq 0.$$
My intuition is that $$\lim_{t\to\infty} u(t) - \alpha(t) = 0,$$
and that the convergence is exponential, i.e., $$|u(t) - \alpha(t)| = u(t) - \alpha(t) \leq c_1 e^{-c_2 t}.$$
For instance, if α was a constant, then the exponential convergence clearly holds (just solve the related ODE and use a "maximum principle").
Do you see a simple proof for time-dependent α (could not prove neither of the "statements" - probably I'm missing something very elementary); or is my intuition wrong?

Many thanks, Peter
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
haruspex
haruspex is offline
#2
Jul5-12, 12:17 AM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,154
For a u(t) to exist satisfying those constraints puts constraints on α(t). Not exactly that it is monotonic non-increasing, but something approaching that. Do you know of such a constraint (beyond that implied)?
nvir477
nvir477 is offline
#3
Jul5-12, 12:36 AM
P: 2
For the fundamental solution set S={ex,e2x,e3x} can we construct a linear ODE with constant coefficients?

I have verified that the solution set is linearly independent via wronskian. I have got the annihilators as (D-1),(D-2),(D-3). However after that I'm not sure how to proceed. What do I do to get the ODE?

Thanks

haruspex
haruspex is offline
#4
Jul5-12, 03:36 AM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,154

Linear control ODE - exponential convergence?


Consider α(t) as follows:
In the nth period of time B, α(t) = A > 0, except for the last e-n, where it is 0. If u'(t) = α(t) - u(t) and vn = u(Bn) - A,
vn+1 = vne-B - A(1-e-e-n)
> vne-B - Ae-n
So vn > wn where
wn+1 = wne-B - Ae-n
which I believe gives:
wn = Ce-Bn - Ae-n/(e-1-e-B)
wn tends to 0 as n goes to infinity, not going negative. Hence u(t) converges to A, and the difference between u and α exceeds A on occasions beyond any specified t.


Register to reply

Related Discussions
Linear system of exponential equations Calculus & Beyond Homework 18
how to calculate the convergence point for exponential function? Calculus & Beyond Homework 2
linear independence of the set of exponential functions Calculus & Beyond Homework 1
Soving an eqn with exponential & linear parts Calculus & Beyond Homework 5
Radii of convergence for exponential functions Calculus & Beyond Homework 2