       Re: solutions that are not solutions

• To: mathgroup at smc.vnet.net
• Subject: [mg32073] Re: [mg32049] solutions that are not solutions
• From: KCConnolly at aol.com
• Date: Sat, 22 Dec 2001 04:22:45 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

```psino at tee.gr wrote:

>I'm trying to solve a system as follows:
>X={{0,y,z},{y,x,t},{u,v,w}}
>A={{1,1,a},{0,1,0},{0,0,1}}
>Solve[{X.A==Transpose[A].X, Det[X]==1},
>{x,y,z,t,u,v,w}]

>Mathematica 4.1 gives two solutions:
>X1={{0,y,0},{y,x,t},{0,v,-1/y^2}}
>and
>X2={{0,y,a*y},{y,(a*t*y^2-1+a*v*y^2-w*y^2)/(a*y)^2,t},
>{a*y,v,w}}
>
>However, X1 is not a solution:
>X1.A-Transpose[A].X1={{0,0,0},{0,0,a*y},{0,-a*y,0}}
>
>Could anybody explain this behaviour?

I am still laboring with Mathematica 3.0, which only generates X2.  However, X1 appears to be a re-expression of X2 in the instance where a=0, in which case the second entry in the second row of X2 would be undefined through having 0 in the denominator.  And if a=0, then of course a*y and -a*y are 0, and so X1 is (in that limited instance) a solution.

So X2 is the general solution, and X1 is the solution when X2 is undefined.  Hope that helps.

Kevin Connolly

```

• Prev by Date: Re: Solutions that are not solutions
• Next by Date: Re: Replacement Rule
• Previous by thread: Re: Solutions that are not solutions
• Next by thread: Re: Solutions that are not solutions