[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1156.0. "Are all functions separable?" by HPSTEK::XIA (In my beginning is my end.) Mon Dec 04 1989 19:40

    I am reading a PDE book, and have a general question.  Can all C^oo 
    functins f:R^2-->R be represented with two C^oo function g,h:R-->R
    Such that f(x,y) = g(x)*h(y) ?  I see no reason why not, but could
    someone more knowledgable elaborate?
    Eugene
T.RTitleUserPersonal
Name
DateLines
1156.1COOKIE::PBERGHPeter Bergh, DTN 523-3007Tue Dec 05 1989 10:136
>>  I am reading a PDE book, and have a general question.  Can all C^oo 
>>  functins f:R^2-->R be represented with two C^oo function g,h:R-->R
>>  Such that f(x,y) = g(x)*h(y) ?  I see no reason why not, but could
>>  someone more knowledgable elaborate?

A quick counterrexample would appear to be x/(x+y)
1156.2HPSTEK::XIAIn my beginning is my end.Tue Dec 05 1989 11:076
    re .1,
    
    Could you explain a bit more as to why not please?  I must have been 
    missing something.
    
    Eugene
1156.3TRACE::GILBERTOwnership ObligatesTue Dec 05 1989 11:3215
    Suppose f(x,y) = g(x)*h(y).  Then f(x1,y1)*f(x2,y2) = f(x1,y2)*f(x2,y1).
    
    Let f(x,y) = a*x + b*y.  Now, substituting into the above, we have:
    
    	(a*x1 + b*y1)*(a*x2 + b*y2) = (a*x1 + b*y2)*(a*x2 + b*y1)
    
    Expanding and cancelling, we have
    
    	a*x1*b*y2 + b*y1*a*x2 = a*x1*b*y1 + b*y2*a*x2
    
    	0 = a*b*(x2-x1)*(y2-y1)
    
    The xs and ys are free and we may consider x1 <> x2, y1 <> y2.
    So if f(x,y) = a*x + b*y is separable, then either a = 0 or b = 0.
    Choosing both a and b non-zero yields a function that's not separable.
1156.4HPSTEK::XIAIn my beginning is my end.Tue Dec 05 1989 12:033
    re.3
    Thanks.
    Eugene