Inverse problems for parabolic equations 2

Let u_t − u_xx = h(t) in 0 ⩽ x ⩽ π, t ⩾ 0. Assume that u(0, t) = v(t), u(π, t) = 0, and u(x, 0) = g(t). The problem is: what extra data determine the three unknown functions {h, v, g} uniquely? This question is answered and an analytical method for recovery of the above three functions is proposed.     

Discrepancy principle for DSM II

Let Ay = f, A is a linear operator in a Hilbert space H, y ⊥ N(A) ≔ {u : Au = 0}, R(A) ≔ {h : h = Au, u ∈ D(A)} is not closed, ∥f_δ − f∥ ⩽ δ. Given f_δ, one wants to construct u_δ such that lim_δ→0∥u_δ − y∥ = 0. Two versions of discrepancy principles for the DSM (dynamical systems method) for finding the stopping time and calculating the stable solution u_δ to the original equation Ay = f are formulated and mathematically justified.     

Differential invariants of the one-dimensional quasi-linear second-order evolution equation

We consider evolution equations of the form u_t = f(x, u, u_x)u_xx + g(x, u, u_x) and u_t = u_xx + g(x, u, u_x). In the spirit of the recent work of Ibragimov [Ibragimov NH. Laplace type invariants for parabolic equations. Nonlinear Dynam 2002;28:125–33] who adopted the infinitesimal method for calculating invariants of families of differential equations using the equivalence groups, we apply the method to these equations. We show that the first class admits one differential invariant of order two, while the second class admits three functional independent differential invariants of order three. We use these invariants to determine equations that can be transformed into the linear diffusion equation.     

Space–time symmetry violation,configuration mixing model and E-infinity theory

We have studied the time reversal symmetry violation on the bases of the configuration mixing model and E-infinity theory. With the use of the Cabibbo angle approximation, we have presented the transformation matrix in terms of the golden ratio (?), and shown that the time reversal symmetry violation is described by the configuration mixing of the unstable and stable manifolds (W^u, W^s). The magnitude of the mixing for the weak interaction field is given by the expression sin² θ_T(theor) ≈ sin⁴ θ_C(theor) ≈ (?)¹² = 3.105 × 10^?3, which is compared to the Kaon decay experiment ～2.3 × 10^?3. We have also discussed the space–time symmetry violation by using the CPT theorem.     

New exact solitary-wave special solutions for the nonlinear dispersive K(m, n) equations

In this paper, we study the nonlinear dispersive K(m, n) equations: u_t + (u^m)_x − (uⁿ)_xxx = 0 which exhibit solutions with solitary patterns. New exact solitary solutions are found. The two special cases, K(2, 2) and K(3, 3), are chosen to illustrate the concrete features of the decomposition method in K(m, n) equations. The nonlinear equations K(m, n) are studied for two different cases, namely when m = n being odd and even integers. General formulas for the solutions of K(m, n) equations are established.     

Bifurcations of travelling wave solutions in a new integrable equation with peakon and compactons

Degasperis and Procesi applied the method of asymptotic integrability and obtain Degasperis–Procesi equation. They showed that it has peakon solutions, which has a discontinuous first derivative at the wave peak, but they did not explain the reason that the peakon solution arises. In this paper, we study these non-smooth solutions of the generalized Degasperis–Procesi equation u_t − u_txx + (b + 1)uu_x = bu_xu_xx + uu_xxx, show the reason that the non-smooth travelling wave arise and investigate global dynamical behavior and obtain the parameter condition under which peakon, compacton and another travelling wave solutions engender. Under some parameter condition, this equation has infinitely many compacton solutions. Finally, we give some explicit expression of peakon and compacton solutions.     

Exact special solitary solutions with compact support for the nonlinear dispersive K(m, n) equations

The nonlinear dispersive K(m, n) equations, u_t−(u^m)_x−(uⁿ)_xxx = 0 which exhibit compactons: solitons with compact support, are studied. New exact solitary solutions with compact support are found. The two special cases, K(2, 2) and K(3, 3), are chosen to illustrate the concrete features of the decomposition method in K(m, n) equations. General formulas for the solutions of K(m, n) equations are established.     

Unsteady magnetohydrodynamic Hartmann–Couette flow and heat transfer in a Darcian channel with Hall current,ionslip, viscous and Joule heating effects: Network numerical solutions

A theoretical study of unsteady magnetohydrodynamic viscous Hartmann–Couette laminar flow and heat transfer in a Darcian porous medium intercalated between parallel plates, under a constant pressure gradient is presented. Viscous dissipation, Joule heating, Hall current and ionslip current effects are included as is lateral mass flux at both plates. The dimensionless conservation equations for the primary (x¹-direction), secondary (z¹-direction) momentum and also energy conservation equation are derived and solved using a computational technique known as Network Simulation Methodology (NSM). Velocity distributions (u¹, w¹) and temperature distribution (T¹) at the channel centre (y¹ = 0) over time (t¹) are studied graphically for the effects of Darcy number (Da), Hartmann number (Ha), transpiration (N_t), Hall current parameter (Be), ionslip parameter (Bi), pressure gradient parameter (dP/dx¹) with Prandtl number prescribed at 7.0 (electrically conducting water), Eckert number held constant at 0.25 (heat convection from the plates to the fluid) and Reynolds number (Re) fixed at 5.0 (for Re < 10, Darcian model is generally valid). Increasing Darcy number causes an increase in temperature, T¹; values are however significantly reduced for the higher Hartmann number case (Ha = 10). For the case of low transpiration (i.e. N_t = 1 which corresponds to weak suction at the upper plate and weak injection at the lower plate), both primary velocity (u¹) and secondary velocity (w¹) are increased with a rise in Darcy number (owing to a simultaneous decrease in Darcian porous drag); temperature T¹ is also increased considerably with increasing Da. However, for stronger transpiration (N_t = 10), magnitudes of u¹, w¹ and T¹ are significantly reduced and also significant overshoots are detected prior to the establishment of steady state flow. With increasing Hall current parameter, Be, (for the purely fluid regime i.e. Da → ∞), primary velocity is considerably increased, whereas secondary velocity is reduced; temperatures are decreased in the early stages of flow but effectively increased in the steady state with increasing Be. With strong Darcian drag present (Da = 0.01 i.e. very low permeability), magnitudes of u¹, w¹ and T¹ are considerably reduced and temperatures are found to be reduced for all t¹, with increasing Hall current effect (Be). Increasing ionslip current parameter (Bi) increases primary velocity (u¹), decreases secondary velocity (w¹) and also temperature (T¹) for all time (t¹), in the infinite permeability case (Da → ∞). For weakly Darcian flow, ionslip parameter (Bi) has a much reduced effect on the velocity distributions. Temperature, T¹ is strongly increased with a rise in pressure gradient parameter, dP¹/dx¹, as is primary velocity (u¹); however, secondary velocity (w¹) is reduced. The present study has applications in hybrid magnetohydrodynamic (MHD) energy generators, materials processing, geophysical hydromagnetics, etc.     

Double reduction of a nonlinear (2+1) wave equation via conservation laws

Conservation laws of a nonlinear (2+1) wave equation u_tt = (f(u)u_x)_x +  (g(u)u_y)_y involving arbitrary functions of the dependent variable are obtained, by writing the equation in the partial Euler-Lagrange form. Noether-type operators associated with the partial Lagrangian are obtained for all possible cases of the arbitrary functions. If either of f(u) or g(u) is an arbitrary nonconstant function, we show that there are an infinite number of conservation laws. If both f(u) and g(u) are arbitrary nonconstant functions, it is shown that there exist infinite number of conservation laws when f′(u) and g′(u) are linearly dependent, otherwise there are eight conservation laws. Finally, we apply the generalized double reduction theorem to a nonlinear (2+1) wave equation when f′(u) and g′(u) are linearly independent.     

Comment on the 3+1 dimensional Kadomtsev–Petviashvili equations

We comment on traveling wave solutions and rational solutions to the 3+1 dimensional Kadomtsev–Petviashvili (KP) equations: (u_t + 6uu_x + u_xxx)_x ± 3u_yy ± 3u_zz = 0. We also show that both of the 3+1 dimensional KP equations do not possess the three-soliton solution. This suggests that none of the 3+1 dimensional KP equations should be integrable, and partially explains why they do not pass the Painlevé test. As by-products, the one-soliton and two-soliton solutions and four classes of specific three-soliton solutions are explicitly presented.     

Calculation of a static potential created by plane fractal cluster

In this paper we demonstrate new approach that can help in calculation of electrostatic potential of a fractal (self-similar) cluster that is created by a system of charged particles. For this purpose we used the simplified model of a plane dendrite cluster [1] that is generated by a system of the concentric charged rings located in some horizontal plane (see Fig. 2). The radiuses and charges of the system of concentric rings satisfy correspondingly to relationships: r_n = r₀ξⁿ and e_n = e₀bⁿ, where n determines the number of a current ring. The self-similar structure of the system considered allows to reduce the problem to consideration of the functional equation that similar to the conventional scaling equation. Its solution represents itself the sum of power-low terms of integer order and non-integer power-law term multiplied to a log-periodic function [5], [6]. The appearance of this term was confirmed numerically for internal region of the self-similar cluster (r₀ ≪ r ≪ r_N−1), where r₀, r_N−1 determine the smallest and the largest radiuses of the limiting rings correspondingly. The results were obtained for homogeneously (b > 0) and heterogeneously (b < 0) charged rings. We expect that this approach allows to consider more complex self-similar structures with different geometries of charge distributions.     

On Certain C-Test Words for Free Groups

Let F_m be a free group of a finite rank m ≥ 2 and let X_i, Y_j be elements in F_m. A non-empty word w(x₁,…,x_n) is called a C-test word in n letters for F_m if, whenever (X₁,…,X_n) = w(Y₁,…,Y_n) ≠ 1, the two n-typles (X₁,…,X_n) and (Y₁,…,Y_n) are conjugate in F_m. In this paper we construct, for each n ≥ 2, a C-test word v_n(x₁,…,x_n) with the additional property that v_n(X₁,…,X_n) = 1 if and only if the subgroup of F_m generated by X₁,…,X_n is cyclic. Making use of such words v_m(x₁,…,x_m) and v_m + 1(x₁,…,x_m + 1), we provide a positive solution to the following problem raised by Shpilrain: There exist two elements u₁, u₂ ∈ F_m such that every endomorphism ψ of F_m with non-cyclic image is completely determined by ψ(u₁), ψ(u₂).     

Special Functions on the Sphere with Applications to Minimal Surfaces

A function which is homogeneous in x, y, z of degree n and satisfies V_xx + V_yy + V_zz = 0 is called a spherical harmonic. In polar coordinates, the spherical harmonics take the form rⁿf_n, where f_n is a spherical surface harmonic of degree n. On a sphere, f_n satisfies ▵ f_n + n(n + 1)f_n = 0, where ▵ is the spherical Laplacian. Bounded spherical surface harmonics are well studied, but in certain instances, unbounded spherical surface harmonics may be of interest. For example, if X is a parameterization of a minimal surface and n is the corresponding unit normal, it is known that the support function, w = X · n, satisfies ▵w + 2w = 0 on a branched covering of a sphere with some points removed. While simple in form, the boundary value problem for the support function has a very rich solution set. We illustrate this by using spherical harmonics of degree one to construct a number of classical genus-zero minimal surfaces such as the catenoid, the helicoid, Enneper's surface, and Hennenberg's surface, and Riemann's family of singly periodic genus-one minimal surfaces.     

On the positive definite solutions of nonlinear matrix equation X + A⋆ X−δA = Q

In this paper we consider the positive definite solutions of nonlinear matrix equation X + A^⋆X^−δA = Q, where δ ∈ (0, 1], which appears for the first time in [S.M. El-Sayed, A.C.M. Ran, On an iteration methods for solving a class of nonlinear matrix equations, SIAM J. Matrix Anal. Appl. 23 (2001) 632–645]. The necessary and sufficient conditions for the existence of a solution are derived. An iterative algorithm for obtaining the positive definite solutions of the equation is discussed. The error estimations are found.     

Integrals,Quantum Galois Extensions,and the Affineness Criterion for Quantum Yetter–Drinfel'd Modules

In this paper we shall generalize the notion of an integral on a Hopf algebra introduced by Sweedler, by defining the more general concept of an integral of a threetuple (H, A, C), where H is a Hopf algebra coacting on an algebra A and acting on a coalgebra C. We prove that there exists a total integral γ: C → Hom(C, A) of (H, A, C) if and only if any representation of (H, A, C) is injective in a functorial way, as a corepresentation of C. In particular, the quantum integrals associated to Yetter–Drinfel'd modules are defined. Let now A be an H-bicomodule algebra, ^H$\text{Y}$$\text{D}$_A the category of quantum Yetter–Drinfel'd modules, and B = {a ∈ A|∑S^− 1(a_〈1〉)a_{〈 − 1〉} ⊗ a_〈0〉 = 1_H ⊗ a}, the subalgebra of coinvariants of the Verma structure A ∈ ^H$\text{Y}$$\text{D}$_A. We shall prove the following affineness criterion: if there exists γ: H → Hom(H, A) a total quantum integral and the canonical map β: A ⊗ _B A → H ⊗ A, β(a ⊗ _B b) = ∑S^− 1(b_〈1〉)b_{〈 − 1〉} ⊗ ab_〈0〉 is surjective (i.e., A/B is a quantum homogeneous space), then the induction functor – ⊗ _B A: $\text{M}$_B → ^H$\text{Y}$$\text{D}$_A is an equivalence of categories. The affineness criteria proven by Cline, Parshall, and Scott, and independently by Oberst (for affine algebraic groups schemes) and Schneider (in the noncommutative case), are recovered as special cases.     

Stimulated Raman scattering in the presence of trapped particle instability

The behaviour of electron gas in a laser plasma corona is studied in the presence of stimulated Raman scattering (SRS). The 1D Vlasov–Maxwell model describing plasma relevant to the experiment PALS (Prague Asterix Laser System), where the nanosecond iodine laser with the wavelength of first harmonic λ_vac = 1.3152 and with the power density in the focal spot I = 10²⁰ W/m² is in operation. For the solution of Vlasov equation for the electron distribution function a Fourier–Hermite transform method is used. For the numerical stabilization a small collision term is added to the Vlasov equation keeping its value realistic for the condition relevant to the PALS experiment. The dominant wave modes in our model are both the backward (SRS-B) and the forward (SRS-F) Raman scattering, each of them accompanied by the forward going electron plasma wave. Several mechanisms were identified such as the SRS-B plasma wave spectral broadening due to a trapped particle instability (TPI) or the formation of an electrostatic quasi-mode by non-resonant interaction of SRS-B and SRS-F plasma waves.     

The stochastic soliton-like solutions of stochastic KdV equations

By means of a generalized method and symbolic computation, we consider a stochastic KdV equation U_t + f(t)U ♢ U_x + g(t)U_xxx = W(t) ♢ R^♢(t, U, U_x, U_xxx). We construct new and more general formal solutions. At the same time, we recover all the solutions found by Xie [Phys. Lett. A 310 (2003) 161]. The solutions obtained include the nontravelling wave and coefficient function’s stochastic soliton-like solutions, singular stochastic soliton-like solutions, stochastic triangular functions solutions.     

Filter matrix based on interpolation wavelets for solving Fredholm integral equations

The interpolation wavelet is used to solve the Fredholm integral equation of the second kind in this study. Hence, by the extension of interpolation wavelets that [−1, 1] is divided to 2^N+1 (N ⩾  − 1) subinterval, we have polynomials with a degree less than M + 1 in each new interval. Therefore, by considering the two-scale relation the filter coefficients and filter matrix are used as the proof of theorems. The important point is interpolation wavelets lead to more sparse matrix when we try to solve integral equation by an approximate kernel decomposed to a lower and upper resolution. Using n-time, where (n ⩾ 2), two-scale relation in this method errors of approximate solution as O((2^−(N+1))ⁿ⁺¹). Also, the filter coefficient simplifies the proof of some theorems and the order of convergence is estimated by numerical errors.