arxiv: v1 [math-ph] 5 May 2014

DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION VICTOR M. BUCHSTABER, ELENA YU. NETAY arxiv:1405.0926v1 [math-ph] 5 May 2014 Abstract. In this work we introuce the notion of ifferential-algebraic ansatz for the heat equation an explicitly construct heat equation an Burgers equation solutions given a solution of a homogeneous nonlinear orinary ifferential equation of a special form. The ansatz for such solutions is calle the n-ansatz, where n + 1 is the orer of the ifferential equation. The work was partially supporte by RFBR grants nos. 13-01-12469, 14-01-00012 an Funamental Research Program of RAS Presiium 19 Funamental problems of nonlinear ynamics in mathematical an physical sciences. Introuction In this work we evelop an explicitly escribe some results of [1]. Our main objective is to give a construction of heat equation solutions starting form a solution of a homogeneous non-linear orinary ifferential equation or a special ansatz for the solution. The general ansatz we use is calle the ifferentialalgebraic ansatz for heat equation an Burgers equation solutions. Our metho gives a wie class of heat equation solutions of a special form that we call n-ansatz solutions where n + 1 refers to the orer of the orinary ifferential equation. We also escribe the corresponing Burgers equation solutions. The main examples of the ifferential-algebraic ansatz we have in min are classical solution of the heat equation in terms of Gaussian normal istribution, an the famous connection between the elliptic theta function θz, τ satisfying the heat equation an Weierstrass sigma function. This connection has been escribe in etails in [2]. Note that in this case our metho gives the well-known Chazy-3 equation. Consier the problem of fining solutions of the n-imensional heat equation t ψz, t = 1 ψz, t 1 2 in R n with the ansatz ψz, t = f z 2, t, where fx, t is regular at x = 0. Here z = z 1,..., z n R n. This gives the equation 2 fx, t = 2x fx, t + n fx, t t x2 x that results in a recursion on the coefficients f k t for fx, t = k f kt xk k! : f k t = 2k + nf k+1t. In the article this problem is solve in the case n = 1, namely, 1 becomes the classical one-imensional heat equation an the ansatz restriction assumes ψ is an even function in z. The work is organize as follows: In section 1 we escribe the general properties of the heat equation an formulate our main results on the ifferential-algebraic ansatz an the n-ansatz for heat equation solutions. In 2 we escribe the general properties of the Burgers equation an its relation to the heat equation via the well-known Cole-Hopf transformation. In section 3 we give explicit examples of ifferential-algebraic an n-ansatz solutions of the heat equation an the corresponing Burgers equation solutions. Key wors an phrases. n-ansatz, heat equation solutions. 1

2 VICTOR M. BUCHSTABER, ELENA YU. NETAY 1. Heat equation 1.1. General remarks. In this paper we aress the problem of fining some special solutions of the one-imensional heat equation, that is the equation t ψz, t = 1 2 ψz, t. 2 2 z2 Note that, in this equation an in all equations we will consier further on, the variables t an z are grae with eg t = 2, eg z = 1. The rescaling t 2µt, z 2µz where µ 0 is a constant, eg µ = 0, brings 2 to its more general form 2 ψz, t = µ ψz, t. 3 t z2 The name of this equation is ue to the fact that it escribes the variation in temperature ψz, t over time t in some interval parametrize by z. In quantum mechanics this equation has the form of Schröinger equation name after Erwin Schröinger, 1887 1961 in complex-value wave function ψ. Namely, the equation 3 with t it becomes 2 ψz, t = µi ψz, t. t z2 We will also consier the equation t ψz, t = 1 ψz, t ftψz, t 4 2 z2 2 in connection with the problem of fining solutions of the Burgers equation, see section 2. Here ft is some given function of t representing the raioactive loss of heat. The heat equation 2 is linear with respect to ψ an invariant with respect to shifts of arguments. While our aim is to fin solutions of the heat equation, without loose of generality we may consier only solutions ψz, t of the heat equation regular at z, t = 0, 0 that are even or o functions of z. Any other solution will be a sum of such solutions up to shifts of arguments. Moreover, any solution of the heat equation ψz, t may be presente as a sum of an even an an o function, each a solution of the heat equation. The same is true for equation 4. 1.2. Differential-algebraic solutions of the heat equation. In this section we introuce an ansatz for ifferential-algebraic solutions of the heat equation. This ansatz leas to a series of polynomials efine recurrently, such that fining a solution of this recurrence leas to fining solutions of the heat equation. In the general case it turns out that explicitly solving this recursion is ifficult, so we will impose aitional restrictions on the ansatz. An example of such a restriction is the n-ansatz, for which we impose restrictions on arguments of the functions consiere. An alternative restriction is to specify one of the functions involve, namely ht, in such a way that the recursion simplifies. We will consier both of this approaches. The most general ansatz we consier in this article is the following ansatz to the one-imensional heat equation: z 2k+δ ψz, t = e 1 2 htz2 +rt z δ + Φ k t. 5 2k + δ! k 2 Here the functions ht, rt an Φ k t have the graing eg ht = 2, eg rt = 0, eg Φ k t = 2k. This agrees with the graing of the heat equation 2 consiere above. Heat equation solutions in this ansatz will be calle ifferential-algebraic solutions. This solutions have Cauchy bounary conitions ψ0, t = e rt, ψ z0, t = 0 for δ = 0 an ψ0, t = 0, ψ z0, t = e rt for δ = 1. The name is ue to the recursion consiere below.

DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION 3 The ansatz 5 is general in the sense that any regular at z = 0 even or o function ψz, t can be presente as a series ecomposition z 2k+δ ψz, t = ψ k t 2k + δ!. 6 k 0 Lemma 1.1. The conition that 6 is a solution of the heat equation 2 gives the recursion on ψ k t: ψ k t = 2ψ k 1 t. The proof is obtaine by straightforwar substitution of 6 into the heat equation. Remark 1.2. Note that up to constants efine by 6 this recursion is the recursion on the coefficients of fx, t, see 1, in the case n = 1. We put e rt = ψ 0 t an ht = 1 + 2δ 1 e rt ψ 1 t an express Φ k t in terms of ψ k t, ht an e rt to get 5. This expressions are obtaine form Φ k t = e rt ψ k t P k ht, Φ 2 t,..., Φ k 1 t where P k are some homogeneous polynomials of egree 2k with respect to the graing eg ht = 2, eg Φ k t = 2k. Namely, the first terms in the ecomposition above are ψz, t = e rt z δ 1 + 2δhte rt z 2+δ 2 + δ! + + Φ 2 t + Φ 3 t 15 + 6δhtΦ 2 t 4 + δ! ht 2 e rt z 4+δ 8 4 + δ! + 6 + δ! ht 3 e rt z 6+δ 48 6 + δ! + Oz8. Lemma 1.3. The conition that 5 is a solution of the heat equation 2 gives r t = δ + 1 2 ht an the recursion on Φ k t: Φ k t = 2Φ k 1 t + 4k 1htΦ k 1t 2k + δ 22k + δ 3 h t + ht 2 Φ k 2 t. 7 The initial conitions are Φ 0 t = 1, Φ 1 t = 0. The proof is obtaine by straightforwar substitution of 5 into the heat equation. Lemma 1.4. The conition that 5 is a solution of the equation 4 gives r t = δ + 1 2 ht + ft an the recursion 7 on Φ k t. Proof. Given a solution of 2 ψz, t take e gt ψz, t where g t = ft to get a solution of 4. 1.3. The recursion on the coefficients of heat equation solutions. In this section we investigate the recursion 7. We introuce some convenient notations. The motivations for this notations may be foun in section 1.4. Denote y 1 = ht, y 2 = h t,..., y k = h k 1 t an Φ k t = Y k y 1,..., y k. It follows from lemma 1.3 that Y k y 1,..., y k are homogeneous polynomial of egree 2k with respect to the graing eg y k = 2k. Recursion 7 takes the form Y k = 2 s Y k 1 y s+1 + 4k 1y 1 Y k 1 2k + δ 22k + δ 3 y 2 + y 2 1 Yk 2. 8 y s A solution of this recursion gives a solution of the heat equation of the form 5 for any ht. For instance, we have Y 0 = 1, Y 1 = 0 Y 2 = 2 + δ1 + δ y 2 + y 2 1, Y 3 = 22 + δ1 + δ y 3 + 6y 1 y 2 + 4y 3 1, Y 4 = 42 + δ1 + δ y 4 + 12y 1 y 3 + 6y 2 2 + 48y 2 1y 2 + 24y 4 1 + 6 + δ5 + δ2 + δ1 + δ y2 + y 2 1 2.

4 VICTOR M. BUCHSTABER, ELENA YU. NETAY For a function ht let us introuce the operators L k an the ifferential polynomials D k in ht by L k = t + 2kht, D 1 = L 1 h, D k = L k D k 1, k > 1. 2 Let L be a linear operator satisfying the Leibniz rule such that In terms of y k = h k 1 t we have L k = s y s+1 L h = 1, L h k = k + 1kh k 1, k 1. + 2ky 1, L = y s y 1 s s + 1sy s y s+1, [L, L k ] = 2k + E, where E is the Euler operator E = 2 s sy s y s. This implies that L L k P = L k L P for any homogeneous polynomial P in y 1,..., y k with eg P = 2k. The ifferential polynomials D k are homogeneous polynomials in y 1,..., y k+1 of egree 2k + 1. We enote Z k = D k 1, therefore Z 2 = L 1 y 1, Z k = L k 1 Z k 1, k = 3, 4,.... 2 Explicitly we have Z 2 = y 2 + y1 2, Z 3 = y 3 + 2y 1 y 2 + 4y 1 y 2 + y1 2, Z 4 = y 4 + 6y 1 y 3 + 6y2 2 + 12y2 1 y 2 + 6y 1 y 3 + 6y 1 y 2 + 4y1 3 compare with the first few terms in 8. For convenience set Z 0 = Z 1 = 0. Note that the set {y 1, Z 2, Z 3,..., Z k,...} form a multiplicative basis in the space of polynomials in y 1,..., y n. This observations lea to a proof of the theorem by V. M. Buchstaber an E. Rees that follows. Lemma 1.5. The operator L annihilates all D k : L D k = 0 for any k. Proof. We have L D 1 = L Z 2 = L y 2 + y1 2 = 0, L D k = L Z k+1 = L L k Z k, an form eg Z k = 2k we have L L k Z k = L k L Z k, thus inuctively L Z k+1 = L Z k = L Z 2 = 0. Theorem 1.6. Let D be a homogeneous ifferential polynomial in ht of egree 2n + 2 with respect to the graing eg t = 2, eg ht = 2. Then L D 0 if an only if D = cd n+1 P n D 1,..., D n 1 9 for a constant c an a homogeneous polynomial P n x 2,..., x n of egree n + 2. Proof. The form 9 is the general form for a homogeneous polynomial in D 1,..., D n+1 of egree 2n+2. From lemma 1.5 we obtain L D = 0 for any D of the form 9. On the other han, any homogeneous polynomial D in y 1,... y n is a homogeneous polynomial in y 1, Z 2,..., Z n. For its monomial y k 1 1 Zk 2 2... Zkn n we have L y k 1 1 Zk 2 2... Zkn n = k 1 y k 1 1 1 Z k 2 2... Zkn n, therefore L D = 0 k 1 = 0 for any monomial in D. In terms of these operators Lemma 1.3 can be reformulate as Lemma 1.7. The conition that 5 is a solution of the heat equation gives r t = δ + 1 2 ht an the recursion on Y k : Y k = 2L k 1 Y k 1 2k + δ 22k + δ 3Z 2 Y k 2. with initial conitions Y 0 = 1, Y 1 = 0. Corollary 1.8. We have Y k = 2 k 2 2 + δ1 + δz k + Q k Z 2,..., Z k 2 Here Q k x 2,..., x k 2 are homogeneous polynomials of egree 2k efine recurrently by Q k = 2L k 1 Q k 1 + 2k + δ 22k + δ 3Z 2 2 k 4 2 + δ1 + δz k 2 Q k 2 with initial conitions Q 2 = Q 3 = 0.

Corollary 1.9. L Y k = 0 for any k. DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION 5 We see that the coefficients Y k = Φ k t are thus homogeneous polynomials of k 1 variables Z 2,..., Z k, that are themselves ifferential polynomials in ht. This result leas to the introuction of the following ansatz we call the n-ansatz. 1.4. The n-ansatz for the heat equation. Let n N be the number of parameters an δ = 0 or 1 be the parity. We say that the ifferential-algebraic solution of the heat equation is in the n-ansatz if it has the form ψz, t = e 1 2 htz2 +rt Φz; x 2 t,..., x n+1 t, 10 for a vector-function x 2 t,..., x n+1 t of t where the function Φz; x 2,..., x n+1 in the vicinity of z = 0 is given by a series of the form Φz; x 2,..., x n+1 = z δ + k 2 Φ k z 2k+δ 2k + δ! 11 for homogeneous polynomials Φ k = Φ k x 2,..., x n+1 of egree 2k for eg x k = 2k. In other wors, the n-ansatz is the ansatz of the form 5 with the conition that all Φ k t can be presente as homogeneous polynomials with constant coefficients in n variables epening on t. A etaile escription of this ansatz incluing a motivation to its introuction are given in [1]. Examples of this ansatz as well as classical solutions of the heat equation rewritten in this ansatz are given in section 3. The results of the next two sections show the interest of introucing this ansatz. 1.5. Heat ynamical systems an the n-ansatz. In this subsection we escribe the relation of the n-ansatz to some special class of polynomial ynamical systems that we will call heat ynamical systems. Let p q x 2,..., x q, where q = 2, 3,..., n+2 be a set of homogeneous polynomials with eg p q = 2q for eg x k = 2k. We will call heat ynamical systems the polynomial ynamical systems in x 1 t, x 2 t,..., x n+1 t of the form t x 1t = p 2 x 2 t x 1 t 2, t x kt = p k+1 x 2 t,..., x k+1 t 2kx 1 tx k t, k = 2,..., n, 12 t x n+1t = p n+2 x 2 t,..., x n+1 t, 0 2kx 1 tx n+1 t. As an example of such a system one can consier the system satisfie by the parameters of an elliptic curve an the coefficient of its Frobenius-Stickelberger connection, see [2]. For further examples see section 3. The name heat ynamical systems is ue to the following theorem. Theorem 1.10. Let x 1 t, x 2 t,..., x n+1 t be a solution of system 12. Then one can construct the corresponing even an o n-ansatz solutions of the heat equation 2 as ψz, t = e 1 2 x 1tz 2 +rt Φz; x 2 t,..., x n+1 t, 13 where δ = 1 for the o case an δ = 0 for the even case, t δ rt = + 1 2 x 1 t, Φz; x 2,..., x n+1 = z δ + k 2 Φ k z 2k+δ 2k + δ!,

6 VICTOR M. BUCHSTABER, ELENA YU. NETAY an Φ k are polynomials of x 2,..., x n+1 with x n+2 = 0 etermine recurrently by Φ 2 = 21 + 2δp 2 x 2, Φ 3 = 2p 3 x 2, x 3 Φ 2, x 2 n+1 Φ q = 2 p k+1 x 2,..., x k+1 2q + δ 32q + δ 2 Φ q 1 + Φ 2 Φ q 2, q = 4, 5, 6,... x k 21 + 2δ k=2 Proof. This theorem is a corollary of the key theorem in [1]. Let us clarify that the heat ynamical systems o not arise form the heat equation, but are an aitional construction use to fin n-ansatz solutions of the heat equation. Examples can be foun in section 3. Remark 1.11. The polynomial ynamical system 12 is homogeneous with respect to the graing consiere. Remark 1.12. Due to the graing conitions we have p 2 x 2 = c 2 x 2, p 3 x 2, x 3 = c 3 x 3 for some constants c 2 an c 3. Remark 1.13. The group of polynomial transforms of the form x 1 x 1, x 2 c 2 x 2, x k c k x k + q k x 2,..., x k 1, k = 3,..., n + 1, 14 where c k 0 are constants an q k x 2,..., x k are homogeneous polynomials, eg q k = 2k, acts on the space of heat ynamical systems 12. Lemma 1.14. Each solution of the form 13 of the heat equation obtaine in theorem 1.10 from a heat ynamical system solution may be obtaine by the same construction using a system of the from t x 1 = x 2 x 2 1, t x k = x k+1 2kx 1 x k for k = 2,..., N 1, 15 t x N+1 = P N x 2,..., x N 2N + 1x 1 x N+1. Here N n an P N x 2,..., x N is a homogeneous polynomial of egree 2N + 2 for eg x k = 2k. The resulting heat equation solution is in the N-ansatz. We will call systems of the form 15 reuce heat ynamical systems. Proof. This system is obtaine from system 12 by using the polynomial transforms 14. More etails on the action of this group can be foun in [1]. Remark 1.15. For N = n system 15 is a special class of heat ynamical systems 12 with p k x 2,..., x k = x k, k = 2,..., n + 1, p n+2 x 2,..., x n+1, 0 = P n x 2,..., x n. 1.6. Orinary ifferential equations an the n-ansatz. We consier the class of equations of the form D n+1 P n D 1,..., D n 1 = 0. 16 Here P n x 2,..., x n is as before a homogeneous polynomial of egree n + 2. Remark 1.16. The left part of equation 16 is a homogeneous ifferential polynomial of egree 2n + 2 with respect to the graing eg t = 2, eg h = 2. Theorem 1.17. Let ht be a solution of the orinary ifferential equation 16. Then one can construct the corresponing even an o n-ansatz solutions of the heat equation 2 as ψz, t = e 1 2 htz2 +rt Φz; x 2 t,..., x n+1 t,

DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION 7 where δ = 1 for the o case an δ = 0 for the even case, t δ rt = + 1 2 ht. The vector-function x 2 t,..., x n+1 t is etermine by the relation x k t = D k 1 an for the function Φ we have Φz; x 2,..., x n+1 = z δ + k 2 where Φ k are polynomials of x 2,..., x n+1 etermine recurrently by Φ 1 = 0, Φ 2 = 21 + 2δx 2, n Φ q = 2 x k+1 + P n x 2,..., x n x k k=2 x n+1 Φ q 1 + Φ k z 2k+δ 2k + δ!, 2q + δ 32q + δ 2 21 + 2δ Φ 2 Φ q 2, q = 3, 4, 5,... Proof. This theorem is a corollary of theorem 1.10. We have x 1 t = ht an the expressions for x k t for k 2 follow from lemma 1.14. Therefore given a polynomial P n for some n an a solution of the orinary ifferential equation 16 we obtain an even an an o n-ansatz solutions of the heat equation. 2. Burgers equation 2.1. General remarks. The Burgers equation v t + vv z = µv zz 17 is name after Johannes M. Burgers, 1895 1981. Here v = vz, t an µ is constant, eg µ = 0. This equation occurs in various areas of applie mathematics, for example flui an gas ynamics, acoustics, traffic flow. It is use for escription of wave processes with velocity v an viscosity coefficient µ. The rescaling t νt, z νz where ν 0 is a constant, eg ν = 0, brings 17 into the Burgers equation with µ νµ. For µ = 0 we obtain the Hopf equation name after Eberhar F. Hopf, 1902 1983. It is the simplest equation escribing iscontinuous flows or flows with shock waves. The Cole-Hopf transformation of a function ψz, t is vz, t = 2µ ln ψz, t. z Lemma 2.1 see [3]. Let ψz, t be a solution of the equation 2 ψz, t = µ ψz, t ftψz, t t z2 for some ft. Then vz, t is a solution of the Burgers equation. The proof of this lemma follows form the ientity v t + vv z µv zz = 2µ z ψt µψ zz Corollary 2.2. Let ψz, t be a solution of the heat equation 2 or 4. Then vz, t = is a solution of the Burgers equation with µ = 1 2. ln ψz, t. z The Burgers equation is not linear, therefore if we consier only even or only o solutions with respect to z we will not obtain the general solution. Yet we may observe that if ψz, t is a solution of the heat equation even or an o with respect to z, then its Cole-Hopf transformation vz, t is a solution of the Burgers equation which is o with respect to z. Let us focus on the problem of fining o solutions of the Burgers equation. ψ.

8 VICTOR M. BUCHSTABER, ELENA YU. NETAY Another relate note is that an even heat equation solution regular at z, t = 0, 0 gives a Burgers equation solution regular at z, t = 0, 0 while for an o heat equation solution the same is not true. 2.2. N-ansatz for the Burgers equation. The image of the n-ansatz for the heat equation uner the Cole-Hopf has the form vz, t = δ z + htz Ψz; x 2t,..., x n+1 t, for a vector-function x 2 t,..., x n+1 t of t where the function Ψz; x 2,..., x n+1 in the vicinity of z = 0 is given by a series of the form Ψ k z 2k 1 Ψz; x 2,..., x n+1 = 2δk + 1 2k 1! k 2 for homogeneous polynomials Ψ k = Ψ k x 2,..., x n+1 of egree 2k for eg x k = 2k. Here δ is as before 0 or 1. The relation with the heat equation n-ansatz 10 is Ψ k = Φ k + Q k Φ 2, Φ 3,..., Φ k 2 for some homogeneous polynomials Q k of egree 2k for eg Φ k = 2k. Remark 2.3. Note that for δ = 0 if we put ht = Ψ 1 we simply obtain the series ecomposition for an o function of z regular at z = 0 vz, t = k 1 Ψ k z 2k 1 2k 1!. The n-ansatz conition in this case is that Ψ k for k 2 are all polynomials of n grae variables x k. 2.3. Differential-algebraic ansatz for the Burgers equation. The image of the ifferential-algebraic ansatz for an even solution of the heat equation uner the Cole-Hopf transform has the form z 2k 1 vz, t = htz Ψ k t 2k 1!, k 2 where ht an Ψ k t are functions of t with eg ht = 2, eg Ψ k t = 2k. Therefore any o solution of the Burgers equation regular at z = 0 is an image of an even solution of the heat equation uner the Cole-Hopf transform. The case δ = 1 can be consiere in a similar way. 3. Examples of n-ansatz solutions of the heat equation 3.1. Rational solutions of heat ynamical systems. For special P n equation 16 amits a series of rational solutions of the form for constants α k : β k CP 1. We have ht = 1 n+1 n + 1 k=1 α k α k t β k m t m ht = 1m n+1 m! α m+1 k n + 1 α k t β k m+1 k=1 an n+1 ht is expresse in terms of m t n+1 t ht for m < n + 1 using classical formulas. This expression is m homogeneous an gives equation 16. Some examples of the corresponing heat equation solutions will be given in the following sections.

DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION 9 3.2. 0-ansatz solutions. Let us consier the case with an empty set of parameters x k. Accoring to theorem 1.10, the solutions of the heat equation in the 0-ansatz have the form where t rt = δ + 1 2 ψz, t = e 1 2 htz2 +rt z δ, ht an system 12 with x 1 t = ht yels t ht = ht2. This equation coincies with D 1 = 0. Its general solution is ht = α αt β, where α : β CP 1. Theorem 3.1. The general 0-ansatz solution of the heat equation is ψz, t = 1 α 2 +δ exp αz2 αt β 2αt β + r 0 z δ 18 where δ = 1 for an o function an δ = 0 for an even function, α : β CP 1 an r 0 C are constants. Remark 3.2. For δ = 0 an β α the real axis. < t < the 0-ansatz solution gives the Gaussian ensity istribution on For the general 0-ansatz solution 18 an µ = 1 2 the Cole-Hopf transformation gives a rational solution of the Burgers equation 17: vz, t = αz αt β δ z. The following image represents solution 18 an its Cole-Hopf transformation in the case δ = 0, β = 0, r 0 = 0 for t = 1 16, t = 1 4 an t = 1. In this case the bounary conitions are ψ0, t = t 1 2, ψ 0, t = 0. The following image represents solution 18 an its Cole-Hopf transformation in the case δ = 1, β = 0, r 0 = 0 for t = 1 16, t = 1 4 an t = 1. In this case the bounary conitions are ψ0, t = 0, ψ 0, t = t 3 2.

10 VICTOR M. BUCHSTABER, ELENA YU. NETAY 3.3. 1-ansatz solutions. Accoring to theorem 1.17, in this case the solutions of the heat equation in the 1-ansatz have the form ψz, t = e 1 2 x 1tz 2 +rt Φz; x 2 t, where t δ rt = + 1 2 x 1 t, we have P 1 = 0 ue to the graing an system 15 yiels t x 1 = x 2 x 2 1, t x 2 = 4x 1 x 2. This system is equivalent to the equation D 2 = 0 on x 1 t = ht, that is Differentiate 19 an put yt = 2ht to get Chazy-4 equation: h + 6hh + 4h 3 = 0. 19 y = 3yy 3y 2 3y 2 y. The general solution of 19 has the form ht = 1 α1 α 2 +, 2 α 1 t β 1 α 2 t β 2 α 1 : β 1, α 2 : β 2 CP 1. 20 Theorem 3.3. The general 1-ansatz solution of the heat equation is a prouct of two entire functions: k=1,2 α k 0 α k t β k ψz, t = Gz, tφz; x 2 t. 21 The explicit expressions for this functions are Φz; x 2 t = z δ Γ 3 4 + δ 2 m! Γm + 3 m=0 4 + δ x 2 t m z 4m, 2 1m 2 Gz, t = 1+2δ αk 4 exp z2 α1 + 4 α 1 t β 1 Here x 2 t = 1 4 α1 α 1 t β 1 α 2 α 2 t β 2 2 α 2 α 2 t β 2 + r 0. δ = 1 for an o function an δ = 0 for an even function, α k : β k CP 1 for k = 1, 2 an r 0 C are constants.

DIFFERENTIAL-ALGEBRAIC SOLUTIONS OF THE HEAT EQUATION 11 Proof. Accoring to Theorem 1.10, the function Φz; x 2 has the form 11 where Φ k are polynomials of x 2 etermine recurrently by the relations Φ 2 = 21 + 2δx 2, Φ q = 0, q = 1, 3, 5,... Φ q = 2q + δ 32q + δ 2 21 + 2δ Φ 2 Φ q 2, q = 4, 6, 8,... The solution to this recursion is state above. Expressing x 2 t an rt in terms of ht given by 20, we get the statement of the theorem. The following images represent solution 21 in the case of ifferent parameters: 1 δ = 0, α 1 = 1, β 1 = 0, α 2 = 0, r 0 = 0 for t = 1 16 re, t = 1 4 green, t = 1 blue. In this case ψ0, t = t 1 4. 2 δ = 0, β 1 = 0, α 2 = β 2, r 0 = 0, for t = 1 25 re, t = 1 99 101 2 yellow, t = 100 green, t = 100 blue, t = 2 violet. In this case ψ0, t = t 1 4 t 1 1 4. 3.4. 2-ansatz solutions. For a full escription of the case n = 2 see [1]. Note that this case appear heat equation solutions in trems of elliptic functions. References [1] E. Yu. Bunkova, V. M. Buchstaber, Polynomial Dynamical Systems an Orinary Differential Equations Associate with the Heat Equation, Funct. Anal. Appl., 46:3 2012, 173 190. [2] E. Yu. Bunkova, V. M. Buchstaber, Heat Equations an Families of Two-Dimensional Sigma Functions, Proc. Steklov Inst. Math., 266 2009, 1 28. [3] E. Hopf, The partial ifferential equation u t + uu x = µu xx, Comm. Pure Appl. Math., 3:3 1950, 201 230. [4] H. Bateman, A. Erelyi, Higher transcenental functions. Vol. 1, 1953. [5] D. Mumfor, Tata Lectures on Theta I, II, Birkhauser, Boston-Basel-Stuttgart, 1983-1984. Steklov Institute of Mathematics, Russian Acaemy of Sciences, ul. Gubkina 8, Moscow, 119991 Russia. E-mail aress: bunkova@mi.ras.ru E.Yu.Netay, buchstab@mi.ras.ru V.M.Buchstaber