       Re: equations

• To: mathgroup at smc.vnet.net
• Subject: [mg32010] Re: equations
• From: Daniel Lichtblau <danl at wolfram.com>
• Date: Tue, 18 Dec 2001 02:34:19 -0500 (EST)
• References: <8508B816-F1AB-11D5-8D62-00039311C1CC@tuins.ac.jp>
• Sender: owner-wri-mathgroup at wolfram.com

Andrzej Kozlowski wrote:
>
> Dear Fred and Daniel
>
> I clearly should read the messages I am responding to more carefully.
> Fred's point is in fact one that I have written about before on this
> list. In general, if you give a set of algebraic equations with symbolic
> coefficients, I do not think it even makes sense to speak of a "general
> solution". There will be a lot of "branching" going on and it is not at
> all clear to me that one can give a "formula" for the roots, in any
> conventional sense anyway, that will Work for all values of the
> parameters.  This is true even for a single equation: if the
> coefficients are numeric one can isolate the roots, but when they are
> not it seems to me that the concept of a general formula does not even
> make sense (for degrees greater than 5). In the case of systems of
> equations it gets even more complicated. Daniel knows a lot more about
> this than me, but I am not at all sure if the concept of "a general
> solutions" (that works for all values of the parameters) makes any
> mathematical sense. It also clearly does not make any practical sense,
> although questions about such formulas are probably the most common
> amongst the postings to this list.
>
> Andrzej
>
> [...]
> Andrzej Kozlowski
> Toyama International University
> JAPAN
> http://platon.c.u-tokyo.ac.jp/andrzej/

I will agree that often enough huge symbolic parametrized solution sets
are of little practical value. As for the issue of representing general
solution sets in this manner, yes, it can be done. Take the univariate
case. One can get a solution set in terms of parametrized Root[]
objects. These may be regarded as algebraic functions (just as solutions
in terms of parametrized radicals are algebraic functions). Of course
one no longer has the ability to isolate roots in the complex plane,
because our base field is now a closure of Q(parameters) rather than of
Q (where Q denotes the rationals).

Weirdly enough, you can almost do something along these lines by
assigning algebraically independent transcendentals as "values" for your
"indeterminate" parameters. I claim no expertise in this direction, and
am by no means certain that this would have any use. A more common way
to regard parametrized algebraic solutions is as functions that
specialize to values in the closure of Q when we give the parameters
algebraic values.

As for multivariate systems, something similar may be done that works
for generic parameter values. One way to see this is to apply the
methodology in Cox, Little, O'Shea, "Using Algebraic Geometry" chapter 2
section 4. They phrase it in terms of polynomials in C[variables] but in
fact the relevant parts work in Q(parameters)[variables] (all one
requires is a way to construct an eigensystem).

One thing that can be mildly unnerving though still not obviously
"wrong" is as follows. Suppose you have the single equation x^2==a^2.
The obvious way to solve would give solutions x->a and x->-a. But more
blunt approaches might give x->Sqrt[a^2] and x->-Sqrt[a^2] which give
the same pair of solutions for any given value of a but in some sense
are not as nicely behaved. When one works with parametrized Root[]
functions this sort of issue invariably arises. All the same, that does
not make an ensemble of solutions expressed in terms of such objects
incorrect, just difficult to use in practical applications.

I hope this clarifies matters, or at least makes the murk more colorful.

Daniel Lichtblau
Wolfram Research

• Prev by Date: Re: Preserve subscripts like integers using N
• Next by Date: RE: beginner question