Lambda and mu-symmetries
نویسنده
چکیده
Symmetry analysis is a standard and powerful method in the analysis of differential equations, and in the determination of explicit solutions of nonlinear ones. It was remarked by Muriel and Romero [10] (see also the work by Pucci and Saccomandi [14]) that for ODEs the notion of symmetry can be somehow relaxed to that of lambda-symmetry (see below), still retaining the relevant properties for symmetry reduction and hence for the construction of explicit solutions. Their work was presented at SPT2001 [11], raising substantial interest among participants. Here I report on some recent work [4, 6, 7] which sheds some light on “lambda-symmetries”, and extends them to PDEs – and systems thereof – as well; as the central objects here are not so much the functions λ, but some associated one-forms μ, these are called “mu-symmetries”. The work reported here was conducted together with Giampaolo Cicogna and Paola Morando; I would like to thank them, as well as other friends (J.F. Cariñena, G. Marmo, M.A. Rodŕıguez) with whom I discussed these topics in the near past. It is also a pleasure to thank C. Muriel and G. Saccomandi for privately communicating their work on λ-symmetries and raising my interest in the topic.
منابع مشابه
Approximate solutions of homomorphisms and derivations of the generalized Cauchy-Jensen functional equation in $C^*$-ternary algebras
In this paper, we prove Hyers-Ulam-Rassias stability of $C^*$-ternary algebra homomorphism for the following generalized Cauchy-Jensen equation $$eta mu fleft(frac{x+y}{eta}+zright) = f(mu x) + f(mu y) +eta f(mu z)$$ for all $mu in mathbb{S}:= { lambda in mathbb{C} : |lambda | =1}$ and for any fixed positive integer $eta geq 2$ on $C^*$-ternary algebras by using fixed poind alternat...
متن کاملتأثیر مقیاس زمان سرمایش و غیر ایدهآل بودن گاز در امواج ضربه ای
According to the suddenly compression of the matters in some regions of the compressible fluids, the density and temperature suddenly increases, and shockwaves can be produced. The cooling of post-shock region and non-idealness of the equation of state, $p=(k_B/mu m_p)rho T (1+brho) equivmathcal{K}rho T (1+eta R)$, where $mu m_p$ is the relative density of the post-shock gas and $Requiv rho_2 /...
متن کاملFocused Linear Logic and the λ-calculus
Linear logic enjoys strong symmetries inherited from classical logic while providing a constructive framework comparable to intuitionistic logic. However, the computational interpretation of sequent calculus presentations of linear logic remains problematic, mostly because of the many rule permutations allowed in the sequent calculus. We address this problem by providing a simple interpretation...
متن کاملOn the denotational semantics of the untyped lambda-mu calculus
Starting with the idea of reflexive objects in Selinger’s control categories, we define three different denotational models of Parigot’s untyped lambda-mu calculus. The first one is built from an intersection types system for the lambda-mu calculus leading to a generalization of Engeler’s model of the untyped lambda calculus. The second model introduces correlation spaces (coming from Girard’s ...
متن کاملDenotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
We study normalization in the simply typed lambda-mu calculus, an extension of lambda calculus with control flow operators. Using an enriched version of the Yoneda embedding, we obtain a categorical normal form function for simply typed lambda-mu terms, which gives a special kind of a call-by-name denotational semantics particularly useful for deciding equalities in the lambda-mu calculus.
متن کامل