Higher-order Hahn’s quantum variational calculus
نویسندگان
چکیده
منابع مشابه
Higher Order Variational Problems
Higher order variational problems appear often in the engineering literature and in connection with the so-called gradient theories of phase transitions within elasto-plastic regimes. The study of equilibria of micromagnetic materials asks for mastery of second order energies (see [51], [91]; see also [31], [38], [44], [45], [61], [77], [78], [79], [108]), and the Blake-Zisserman model for imag...
متن کاملA Reflective Higher-order Calculus
The π-calculus is not a closed theory, but rather a theory dependent upon some theory of names. Taking an operational view, one may think of the π-calculus as a procedure that when handed a theory of names provides a theory of processes that communicate over those names. This openness of the theory has been exploited in π-calculus implementations, where ancillary mechanisms provide a means of i...
متن کاملFrom -calculus to Higher-order -calculus | and Back
We compare the rst-order and the higher-order paradigms for the representation of mobility in process algebras. The prototypical calculus in the rst-order paradigm is the-calculus. By generalising its sort mechanism we derive an !-order extension, called Higher-Order-calculus (HO). We give examples of its use, including the encoding of-calculus. Surprisingly, we show that such an extension does...
متن کاملA Higher-order Calculus of Computational Fields
The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of such systems (specifying a system’s collective behaviour) and the micro-level (individual...
متن کاملA Higher-Order Calculus for Categories
A calculus for a fragment of category theory is presented. The types in the language denote categories and the expressions functors. The judgements of the calculus systematise categorical arguments such as: an expression is functorial in its free variables; two expressions are naturally isomorphic in their free variables. There are special binders for limits and more general ends. The rules for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Analysis: Theory, Methods & Applications
سال: 2012
ISSN: 0362-546X
DOI: 10.1016/j.na.2011.01.015