- #1
Quantumpencil
- 96
- 0
Homework Statement
Specialize exercise 28 by considering the system
[tex]\ y'= y_{j+1} j=(1,...,k-1)
y'_{k}= f(x)-\sum g_{j}(x)y_{j}[/tex]
where the summation runs from j=1 to j=k, and [tex]\g_{j} and f[/tex] are continuous real functions on [a,b], and derive a uniqueness theorem for solutions of the equation
[tex]\ y^{k}+g_{k}(x)y^{k-1}+...+g_{2}y'+g_{1}(x)y = f(x)[/tex]
subject to initial conditions
[tex]\ y(a)=c_{1}, y'(a)= c_{2}, y^{k-1}(a) = c_{k}.[/tex]
here the kth power denotes the "kth" derivative.
Homework Equations
The problem is supposed to be similar to 26, 27, and 28 in Rudin which we also worked through on this problem set. The idea of those problems is to show the uniqueness of a solution to a system of differentiable equations, by defining some other function as the difference between two possible solutions and applying the result we proved in 26, if f is differentiable on [a,b], f(a)=0, and there exists a real number A such that [tex]\left|f'(x)\right| \leq A\left|f(x)\right|[/tex], then f(x)=0.
The Attempt at a Solution
I'm sort of confused on exactly what this problem is asking... like, what does the polynomial expression mean here, and what might it's solutions look like? Like if I'm understanding the question we basically have a vector where each component is one of the derivative of that before it except for the final one; so I think we should be able to apply a component wise version of the uniqueness theorem proved in 27/28 (28 being the extension to vectors by operating on each component), and saying if there is an A that bounds two solution vectors like this, the result follows.
What I'm not understanding is how this relates to the final expression and why I care about the g(x)'s.
Last edited: