• Nie Znaleziono Wyników

Then we define the Wronskian of y1 and y2 to be W (y1, y2

N/A
N/A
Protected

Academic year: 2021

Share "Then we define the Wronskian of y1 and y2 to be W (y1, y2"

Copied!
2
0
0

Pełen tekst

(1)

Math 5AI Third Project Getting back to Linear Algebra: The Wronskian 1. An important result about second order homogenous linear ODE’s

y00+ p(x)y0 + q(x)y = g(x)

is that, assuming p(x), q(x), and g(x) are continuous on an interval, there is a unique solution defined on that interval that satisfies initial conditions y(x0) = y0 and y0(x0) = y1. We used power series to see that this result is plausible although what we did is not quite a proof.

(a) Show that this means the homogenous equation y00 + p(x)y0 + q(x)y = 0 has a 2-dimensional space of solutions. (In other words, show that there are two linearly independent solutions for which em every solution is a linear combination. (Assume that p(x) and q(x) satisfy the continuity condition.)

(b) What can you say about the solutions to y00+p(x)y0+q(x)y = 0 for which y(0) = 0 and y0(0) = 0? (Assume that p(x) and q(x) satisfy the continuity condition.)

Let y1 and y2 be two functions. Then we define the Wronskian of y1 and y2 to be W (y1, y2) = y1y20 − y2y01 := det

y1 y2 y10 y20



.

2. One use of the Wronskian is to determine if a pair of solutions to an ODE are linearly independent.

(a) Suppose that every solution to y00 + p(x)y0 + q(x)y = 0 can be expressed as a linear combination of y1 and y2. Show that the function W (y1, y2) is never 0. (Hint:

Suppose the Wronskian was 0 at a point x0. What would it mean that you can find solutions to the ODE of the form y = Ay1 + By2 for all possible initial conditions y(c) = d and y0(c) = e?)

(b) Conversely, if the Wronskian of never vanishes y1 and y2, show that they must be a basis for the vector space of solutions to the ODE.

(c) Find the Wronskian of a pair of solutions to y00+ y = 0.

(d) Find the Wronskian of a pair of solutions to y00− y = 0.

3. Calculating the Wronskian. In general, it may not be clear whether or not the Wronskian vanishes at a point or not. But you will show next that the Wronskian of two solutions to a linear ODE is either never zero or is always zero. For this, suppose that y1 and y2 are solutions to y00+ p(x)y0 + q(x)y = 0. Then we have

y100+ p(x)y10 + q(x)y1 = 0 y200+ p(x)y20 + q(x)y2 = 0

1

(2)

Multiply the first equation by −y2 and the second equation by y1 and add to obtain a new equation. See that this equation is an ordinary differential equation in the function W (y1, y2) by factoring out expressions equal to W (y1, y2) and to W (y1, y2)0 in this expression. Now solve this ODE using an integratng factor. You will find why the Wronskian is identically zero or never zero.

4. The Viewpoint of Linear Oerators. (a) Consider the expression T (y) = y00+ p(x)y0+ q(x)y

This is what we call a linear operator because the function L(y) operates linearly on functions. This means that L(y1 + y2) = L(y1) + L(y2) for all twice differentiable functions y1 and y2 and that L(ky) = kL(y) for all all twice differentiable functions y and real numbers k. Explain this.

(b) Now consiser the operator

T (y) = y00+ 2xy0+ 2y Calculate, T (1), T (x), T (x2), T (ex), T (e−x2.

(c) Find a solution to T (y) = x2.

(d) Find a solution to T (y) = x2 for which y(0) = 0.

(e) Are there other solutions to T (y) = x2 for which y(0) = 0? What would you have to do to find another?

2

Cytaty

Powiązane dokumenty

Therefore, Theorem 4.3 may be generalized to all line graphs of multigraphs which possess maximal matchable subsets of vertices – for example, the line graphs of multigraphs

We will get infor- mation from all the ideals, by means of Theorem 1.1 and noting that in fact an ideal is, in some sense, a divisor of its elements.. In this way, we give a new

In 1920’s, Hardy and Littlewood introduced an ana- lytic method for solving Waring’s problem: That is, they showed that every sufficiently large natural number can be expressed as a

We state new convergence results of solutions under assumptions concerning contingent derivative of the perturbed inclusion.. These results state that there exists at least one

In the study of semigroups the notion of infinitesimal operator/generator and the observation that, under certain conditions, the Laplace transform of the semigroup is the resolvent

It follows that the class α is represented by the subscheme of B A corresponding to complete quadrics that are tangent to m i given codimension-i planes in general position in Q and

If φ is a universal formula for sentences ϕ, then the formulation of the sentence ϕ corresponds to the sentence “It is snowing” and the formulation of the sentence φ(ϕ)

For #A = 1 the lemma is trivial, since in this case every function is axial (horizontal).. We still do not know whether 5 is a minimal number. Grze- gorek)... So neither starting with