Processing math: 62%
Ask Your Question
1

Simplification and implicit function

asked 5 years ago

Cyrille gravatar image

I have two question in one : 1) I have this z=αxα1yβyβ1βxα. There are obvious simplification since this is equal to αβyx.

z.full_simplify() has no impact z.expand() simplify on y but not on x

So what can I do to obtain the good result.

2) how to take the result and consider it as an implicit function to obtain the derivative de y. as a function of x

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
0

answered 5 years ago

Emmanuel Charpentier gravatar image

I have two question in one : 1) I have this z=\frac{αx^{α−1}y^βy^{−β−1}}{βx^α}. There are obvious simplification since this is equal to \frac{α}{β}\frac{y}{x}.

It isn't:

sage: foo=a*x^(a-1)*y^b*y^-(b+1)/(b*x^a);foo
a*x^(a - 1)*y^b*y^(-b - 1)/(b*x^a)
sage: foo.canonicalize_radical()
a/(b*x*y)

2) how to take the result and consider it as an implicit function to obtain the derivative de y. as a function of x

sage: foo.canonicalize_radical().diff(y)
-a/(b*x*y^2)

which should be obvious given the (correct) result of your simplification...

Preview: (hide)
link

Comments

In fact my problem was nearly similar but with your helps I have understud what was wrong in my approach. In reality I had tms= U_x/U_y where the U_(x or y) where the partial dérivatives of U(x, Y) = A x^\alpha y{^\1- beta}. Even with canonicalize.radical I was unable to obtain you result since I was writing U_x/U_y.canonalize.radical() and not (U_x/U_y).canonalize.radical(). Thanks for all.

Now for 2) your result is obviously wrong since you Don't use the implicit command differenti&tion

Cyrille gravatar imageCyrille ( 5 years ago )

Okay.

sage: foo.canonicalize_radical()
a/(b*x*y)
sage: foo.canonicalize_radical().diff(y)
-a/(b*x*y^2)
sage: foo.diff(y)
a*x^(a - 1)*y^(b - 1)*y^(-b - 1)/x^a - a*(b + 1)*x^(a - 1)*y^b*y^(-b - 2)/(b*x^a)
sage: foo.diff(y).canonicalize_radical()
-a/(b*x*y^2)

Where is this "obviously wrong" ?

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 5 years ago )

And, by the way:

sage: U
(x, y) |--> A*x^alpha*y^beta
sage: (U(x,y).diff(x)/U(x,y).diff(y)).canonicalize_radical()
alpha*y/(beta*x)
Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 5 years ago )

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: 5 years ago

Seen: 319 times

Last updated: Sep 21 '19