Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2021 April 10

From Wikipedia, the free encyclopedia
Mathematics desk
< April 9 << Mar | April | May >> Current desk >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


April 10

[edit]

Generalizing the solution to the partial differential equation

[edit]

 Resolved

When solving the partial differential equation of heat equation in this article, the heat equation is arranged as the following form:

(Form 1)

Since the right hand side depends only on x and the left hand side only on t, both sides are equal to some constant value −λ.

According to the aforementioned method, can we generalize it and say that both sides of any equation of the form

are equal to some constant value −λ? That is f(x) = −λ and g(y) = −λ? -- Justin545 (talk) 08:22, 10 April 2021 (UTC)[reply]

The assumption is that the equation holds universally; more precisely, for all values of the arguments in the domains of the function, provided these are non-empty. Then both functions are constant on their respective domains, with a common constant function value. The common constant value does not have to be a number; it could be a vector, or anything. Expressed more fully, using logical quantifiers:
Given functions
if      
then  
This can be proved as follows. Assume that the condition is true. Let be any element of and set . Then, by instantiation of the condition, substituting for and then for , we obtain:
The analogous statement for function follows similarly.  --Lambiam 10:45, 10 April 2021 (UTC)[reply]
Let
And
where
, the codomain of and , is the set of all complex numbers,
and are the domains of and , respectively.
Does the above satisfy ? If the answer is no, we should not assume that both sides of (Form 1) are equal to some constant value −λ unless one can proof that (Form 1) is an identity or holds universally, right? - Justin545 (talk) 15:28, 10 April 2021 (UTC)[reply]
The τ=χ part comes from another part of the analysis. The τ(t)=χ(x) trick occurs so frequently in PDE's that the details are often left out, especially in an encyclopedic treatment such as in Wikipedia, but it is valid and useful. The assumptions required are that there are solutions of the form T(t)X(x), that when the PDE is applied to this form of solution then the variables can be separated, that the PDE is linear so the sum of such solutions is also a solution, and that any solution can be written as a (possibly infinite) sum of such solutions. None of these are guaranteed in general, but they are true in a surprising number of physical applications suchs as the heat equation. --RDBury (talk) 19:17, 10 April 2021 (UTC)[reply]
Still, under the assumption of separability explicitly stated in the article, the situation fits the condition of my proof. The heat equation is a universal equality:
Likewise, separability means:
Combining these two universal equalities, we obtain:
So, letting and be as above, we have:
 --Lambiam 20:03, 10 April 2021 (UTC)[reply]
I'm sorry for not being able to find out the assumption of separability in the article. However, it's understandable that both sides of (Form 1) are equal to some constant value −λ if logical quantifiers are present as the above:
(Form 2)
Now, let's consider another equation
which can be arranged and separated as
(Form 3)
Obviously, (Form 2) and (Form 3) are both equations which are expected to have similar properties. So the new question to me is that why are the logical quantifiers present in equation of (Form 2) but not present in equation of (Form 3)? What does make the difference between the PDE and the linear equation with respect to their universalities and logical quantifiers? -- Justin545 (talk) 05:23, 11 April 2021 (UTC)[reply]
The name of the article, Separation of variables, is already a hint, but the assumption is expressed in the sentence: "Let us attempt to find a solution which is not identically zero satisfying the boundary conditions but with the following property: u is a product in which the dependence of u on x, t is separated, ...". Your (Form 3) expresses a relation between values assumed by the variable and by the variable; it does not represent a universal equality that holds for all pairs , but characterizes a subset – which is the point of the equation, its raison d'être. So it is not intended to mean In contrast, where the article introduces the equality (3), it is intended to mean Usually, mathematicians leave such universal quantifications unstated because they are assumed to be understood in the context.  --Lambiam 07:46, 11 April 2021 (UTC)[reply]
How would mathematicians define terms separated and not separated? It seems that the separability is directly related to universal quantifications.
Consider the linear equation above and let
It seems that the assumption "the dependence of v on x, y is separated" implies
whereas the assumption "the dependence of v on x, y is not separated" implies just
(where universal quantifications must be removed).
If my speculation above is correct, I think that I can understand why the assumption "the dependence of u on x, t is separated" implies (Form 2) which has universal quantifications in it. -- Justin545 (talk) 16:59, 11 April 2021 (UTC)[reply]
I'm sorry, but mathematicians have a bad habit of using ambiguous notations and terminology, which is (most of the time) convenient for themselves but confusing for people in the business of mastering a subject. Most of the time they aren't even aware of the ambiguities. "Separation of variables" is not one specific technique, but a medley of tricks that have one thing in common: by manipulating an equation, all occurrences of one variable of interest are brought to one side, and those of another variable are all brought to the other side. For example, one can massage the equation into the form If we start with a universally valid equality (sometimes called an identity and written with an sign, something I don't do) and make no mistakes, the result is also universal. But, conversely, if the original equation was not a universal equality to start with, then it will not turn into one by successful manipulation. The very first example in the article, where is obtained by rearranging, is not a universal equality, since here depends on , being constrained by the equation The example of the heat equation is different. The equality is universal here for no other reason than that we are supposed to understand that the author intended it to be understood that way. It does not constrain and . This is an instance of a very common technique: guessing a kind of general form for what you are seeking and examining where that gets you. For some unknown function in one variable, someone might want to examine what the consequences are of the assumption that it is a linear function, and write, "Assume " This really means, suppose that can be (universally) expressed in that form for some values and . The reader is supposed to understand that thus far the coefficients and are still unconstrained, but constraints on function will then entail constraints on and Likewise, "" really means (here!): let us suppose that can be (universally) expressed in the form of the product of two as-of-yet-undetermined functions, one of which depends solely on and which we name , while the other depends solely on and shall go by the name That it means all this is not explicit, but when one mathematician writes the snappy form, another mathematician will just assume that this is what they mean.  --Lambiam 22:26, 11 April 2021 (UTC)[reply]
Firstly, I have to say that I really appreciate your constant replies to my questions. A bad habit is trivial compared with the help you gave me.
Although separation of variables and related techniques are just a part or a few steps of the solution to the PDE in question, it seems to be more complicated than I can imagine...
The assumption of separability implies
(Form 4)
but does (Form 4) imply (Form 2)? I cannot relate (Form 4) to (Form 2) directly in the first place. Now, my guess is that the assumption of separability assumes that elements in set are all solutions to PDE (which is without universal quantifications)
. (Form 5)
By definition, a solution to an equation must satisfy the equation. Therefore, all the elements in must satisfy (Form 5), which can be written as (Form 2). So that's merely my guess for the relation between (Form 4) and (Form 2) and its correctness needs to be confirmed... -- Justin545 (talk) 00:01, 13 April 2021 (UTC)[reply]
Indeed. In general, solutions imply their equations, but not the other way around. For example, implies , but does not imply , since there are other solutions of the equation = . But if we know that an equation has a unique solution, then the implication becomes mutual: equation implies solution. Or there may be several solutions, but we have managed to find a "complete solution": a most general form, which requires throwing in some existential quantifiers to express the equivalence of equation and solution formally. But this works only if we have managed to find a solution, which, if the solution was based on a guess, requires that the initial guess was a lucky one. Obviously, (Form 4) cannot directly imply (Form 2). Since the functions and are not yet fixed, we could choose and so Then (Form 2) simplifies to which mathematicians know not to be universally valid. But we are trying to find a solution of the pde, so the question here is, can we find functions and such that (Form 4) implies (Form 2)? Yes, we can! It was a lucky guess, and given the boundary conditions we found a complete solution (a fact not really proved in the derivation), so the implication is, after all, mutual. Starting out with the guess would have led to a dead end – the pde itself has solutions, but these do not respect the boundary conditions.  --Lambiam 08:50, 13 April 2021 (UTC)[reply]
Yes, I once doubted that (Form 4) is a valid assumption which is able to find out all the solutions to the PDE. What if is in a different form other than ? (such as that you have mentioned) Luckily, your reply has alleviated my concern.
And I think that I have finally realized the key points to resolve my question. Thank you!
 Resolved -- Justin545 (talk) 19:19, 13 April 2021 (UTC)[reply]
The τ=χ part confused me so badly to the extent such that I was asking someone here to rescue me from being stuck on the problem. I think it would be better if the name of the analysis or the analysis itself can be noted in the the article rather than using the confusing sentence "Since the right hand side depends only on x and the left hand side only on t, both sides are equal to some constant value −λ." to explain. -- Justin545 (talk) 05:23, 11 April 2021 (UTC)[reply]