Groups > comp.soft-sys.math.maple > #962

Re: How Do We Test if a Given Function Is a Solution to an ODE?

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From	Joe Riel <joer@san.rr.com>
Newsgroups	comp.soft-sys.math.maple
Subject	Re: How Do We Test if a Given Function Is a Solution to an ODE?
Date	Sat, 27 Sep 2014 20:49:59 -0700
Organization	A noiseless patient Spider
Lines	18
Message-ID	<87tx3spfo8.fsf@san.rr.com> (permalink)
References	<28ue2atgvtgec1tghokqddrcm19pagqige@4ax.com>
Mime-Version	1.0
Content-Type	text/plain; charset=us-ascii
Injection-Info	mx05.eternal-september.org; posting-host="15591ad2607da309a0d1a78a1d632bc7"; logging-data="31325"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19OVQhrUBEN0iuK3cU0+jw0"
User-Agent	Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock	sha1:SjE6sHDFyeyyqzLogz+jzw0VlCE= sha1:nZrUEvBnRnwClZ6UyJNcW5qTNEY=
Xref	csiph.com comp.soft-sys.math.maple:962

Show key headers only | View raw

<> writes:

> How do we test if a given function y(t) is a solution of a given ODE
> in y(t)?
> Thank you!
>
> sherman

For a symbolic solution you can eval it:

(**) deq := diff(x(t), t, t) + diff(x(t),t) = sin(t): 
(**) dsol := dsolve({deq, x(0)=0, D(x)(0)=0});
         dsol := x(t) = -1/2 sin(t) - 1/2 cos(t) - 1/2 exp(-t) + 1

(**) eval(deq, dsol);
                           sin(t) = sin(t)
-- 
Joe Riel

Back to comp.soft-sys.math.maple | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

How Do We Test if a Given Function Is a Solution to an ODE? <> - 2014-09-27 22:59 -0400
  Re: How Do We Test if a Given Function Is a Solution to an ODE? Joe Riel <joer@san.rr.com> - 2014-09-27 20:49 -0700
    Re: How Do We Test if a Given Function Is a Solution to an ODE? <> - 2014-09-30 01:28 -0400
  Re: How Do We Test if a Given Function Is a Solution to an ODE? William Unruh <unruh@invalid.ca> - 2014-09-28 04:11 +0000
  Re: How Do We Test if a Given Function Is a Solution to an ODE? "Nasser M. Abbasi" <nma@12000.org> - 2014-09-28 00:27 -0500
    Re: How Do We Test if a Given Function Is a Solution to an ODE? <> - 2014-09-30 01:29 -0400

csiph-web