symbolic differentiation of unknown function

asked 2020-01-04 21:10:03 +0100

asger
21 ●1 ●1 ●3

updated 2020-01-05 00:34:45 +0100

slelievre
17704 ●22 ●160 ●350 http://carva.org/samue...

I want to do some formal calculus with unknown functions for the purpose of solving differential equations.

Say F(t) = v(t)*t^2, where v is an unknown differentiable function.

Then I would like to declare v as such and be able to get

F.diff(t) = 2*t*v+t^2*v.diff(t)

It is similar to Ask Sage question 8822 but the solution does not seem to work anymore, as function() takes only one argument and not 2 as in the description.

Anyone know what the syntax is in 8.9? Or in 9.0, when that becomes available?

edit retag flag offensive close merge delete

Comments

Note: I updated the answer to Ask Sage question 8822.

slelievre ( 2020-01-05 00:34:29 +0100 )edit

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2020-01-05 00:30:27 +0100

slelievre
17704 ●22 ●160 ●350 http://carva.org/samue...

Here is how to do it.

Works with the following version of Sage.

sage: version()
'SageMath version 9.0, Release Date: 2020-01-01'

Declare variable t and function v, and define function F in terms of those:

sage: t = SR.var('t')
sage: v = function('v')
sage: F(t) = v(t)*t^2

Derivative of the function:

sage: F.diff(t)
t |--> t^2*diff(v(t), t) + 2*t*v(t)

Derivative of the expression:

sage: F(t).diff(t)
t^2*diff(v(t), t) + 2*t*v(t)

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-01-04 21:10:03 +0100

Seen: 867 times

Last updated: Jan 05 '20

symbolic differentiation of unknown function edit