搜索结果：Calculus

We develop Spectral-Operator Calculus (SOC), an axiomatic calculus for scalar evaluation of operator-generated spectral observables. This paper (SOC-I) treats the self-adjoint setting, where observables are bounded Borel transforms and locality is enforced via additivity across spectral partitions. Under unitary invariance, extensivity on orthogonal sums, projector-locality, and a dominated-convergence continuity condition, we prove a rigidity theorem on a natural trace-class envelope: every admissible evaluator agrees with a weighted trace of a single Borel nondecreasing profile applied through the functional calculus. We then introduce a spectral growth taxonomy based on eigenvalue counting asymptotics and show that the polynomial growth regime is stable under the basic constructions of the calculus. These results supply an arithmetic-neutral analytic backbone for subsequent SOC parts and for applications to concrete spectral models. A companion part treats the sectorial/holomorphic setting, where locality is formulated on log-scale via scale-band decompositions and positive kernels rather than spectral projections.

This course, intended for undergraduates familiar with elementary calculus and linear algebra, introduces the extension of differential calculus to functions on more general vector spaces, such as functions that take as input a matrix and return a matrix inverse or factorization, derivatives of ODE solutions, and even stochastic derivatives of random functions. It emphasizes practical computational applications, such as large-scale optimization and machine learning, where derivatives must be re-imagined in order to be propagated through complicated calculations. The class also discusses efficiency concerns leading to "adjoint" or "reverse-mode" differentiation (a.k.a. "backpropagation"), and gives a gentle introduction to modern automatic differentiation (AD) techniques.

Many physical, biological, and engineered systems exhibit memory effects that challenge Markovian models. Fractional calculus provides nonlocal operators to capture hereditary dynamics. This survey connects modeling, analysis, and controller/game design for systems with memory. We unify notation for Caputo, Riemann-Liouville, and Grunwald-Letnikov derivatives and relate them to practical approximations, including diffusive (sum-of-exponentials) state augmentation and frequency-domain realizations (e.g., Oustaloup). We review fractional extensions of the calculus of variations and the Pontryagin maximum principle, and dynamic-programming formulations with memory, including path-dependent HJB for optimal control and HJI for zero-sum games. We cover design tools such as LQR, MPC, and fractional-order PID, as well as fractional differential games with Nash, Stackelberg, and minimax equilibria. Computational approaches are compared across time-domain schemes, frequency-domain approximations, and diffusive augmentations, highlighting accuracy-complexity trade-offs and remedies for the curse of history (windowing and sum-of-exponentials). We conclude with applications and open problems on

This paper introduces DD calculus and describes the basic calculus concepts of derivative and integral in a direct and non-traditional way, without limit definition: Derivative is computed from the point-slope equation of a tangent line and integral is defined as the height increment of a curve. This direct approach to calculus has three distinct features: (i) it defines derivative and (definite) integral without using limits, (ii) it defines derivative and antiderivative simultaneously via a derivative-antiderivative (DA) pair, and (iii) it posits the fundamental theorem of calculus as a natural corollary of the definitions of derivative and integral. The first D in DD calculus attributes to Descartes for his method of tangents and the second D to DA-pair. The DD calculus, or simply direct calculus, makes many traditional notations and procedures unnecessary, a plus when introducing calculus to the non-mathematics majors. It has few intermediate procedures, which can help dispel the mystery of calculus as perceived by the general public. The materials in this paper are intended for use in a two-hour introductory lecture on calculus.

The aim of this paper is to establish a pseudo-differential Weyl calculus on graded nilpotent Lie groups $G$ which extends the celebrated Weyl calculus on $\mathbb{R}^n$. To reach this goal, we develop a symbolic calculus for a very general class of quantization schemes, following [Doc. Math., 22, 1539--1592, 2017], using the Hörmander symbol classes $S^m_{ρ, δ}(G)$ introduced in [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. We particularly focus on the so-called symmetric calculi, for which quantizing and taking the adjoint commute, among them the Euclidean Weyl calculus, but we also recover the (non-symmetric) Kohn-Nirenberg calculus, on $\mathbb{R}^n$ and on general graded groups [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. Several interesting applications follow directly from our calculus: expected mapping properties on Sobolev spaces, the existence of one-sided parametrices and the Gårding inequality for elliptic operators, and a generalization of the Poisson bracket for symmetric quantizations on stratified groups. In the particular case of the Heisenberg group $\mathbb{H}_n$, we are able to answer the fundamental questions of this paper: which, amo

We give an unexpectedly simple presentation of the maximal prolongation of a first-order differential calculus in terms of the bimodule map of a torsion-free bimodule connection. We then show that in the quantum homogeneous space case this simplifies even further. More explicitly, we show that the bimodule map associated to a bimodule connection, for any relative left Hopf module endowed with its canonical right module structure, admits a concise formula, given in terms of the adjont action of a Hopf algebra on a bimodule. %{\color{red} We also have the dual tangent space formula.} This is then used to derive sufficient conditions, in terms of the first-order differential forms, for the extendability of a first-order almost-complex structure. These results are applied to the quantum Grassmannian Heckenberger--Kolb calculi, yielding a simple uniform presentation of their degree two anti-holomorphic relations.

The quantum calculus with two bases, as powers of the Golden and the Silver ratio, relates Fibonacci divisor derivative with Binet formula of Fibonacci divisor number operator, acting in Fock space of quantum states.It provides a tool to study the hierarchy of Golden oscillators with energy spectrum in form of Fibonacci divisor numbers. We generalize this model to supersymmetric number operator and corresponding Binet formula for supersymmetric Fibonacci divisor number operator. The operator determines the Hamiltonian of hierarchy of supersymmetric Golden oscillators, acting in fermion-boson Hilbert space and belonging to N=2 supersymmetric algebra. The eigenstates of the super Fibonacci divisor number operator are double degenerate and can be characterized by a point on the super-Bloch sphere. By the supersymmetric Fibonacci divisor annihilation operator, we construct the hierarchy of supersymmetric coherent states as eigenstates of this operator. Entanglement of fermions with bosons in these states is calculated by the concurrence, represented by the Gram determinant and hierarchy of Golden exponential functions. We show that the reference states and corresponding von Neumann ent

With his research on Aristotle's syllogistic, Jan Łukasiewicz (1934, 1939, 1957, 1963) initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that studies various forms of names and functors acting on them, as well as logical relationships between sentences in which these names and functors occur. In this work, we want not only to present the genesis of the calculus of names and its first system created by Łukasiewicz. We also want to deliver systems that extend the first. In this work, we will also show that, from the point of view of modern logic, Łukasiewicz's approach to syllogistic is not the only possible one. However, this does not diminish Łukasiewicz's role in the study of syllogism. We believe that the calculus of names is undoubtedly the legacy of Łukasiewicz.

We generalize the Hahn variational calculus by studying problems of the calculus of variations with higher-order derivatives. The symmetric quantum calculus is studied, namely the $α,β$-symmetric, the $q$-symmetric, and the Hahn symmetric quantum calculus. We introduce the symmetric quantum variational calculus and an Euler-Lagrange type equation for the $q$-symmetric and Hahn's symmetric quantum calculus is proved. We define a symmetric derivative on time scales and derive some of its properties. Finally, we introduce and study the diamond integral, which is a refined version of the diamond-$α$ integral on time scales.

Over the last decades, deep neural networks based-models became the dominant paradigm in machine learning. Further, the use of artificial neural networks in symbolic learning has been seen as increasingly relevant recently. To study the capabilities of neural networks in the symbolic AI domain, researchers have explored the ability of deep neural networks to learn mathematical constructions, such as addition and multiplication, logic inference, such as theorem provers, and even the execution of computer programs. The latter is known to be too complex a task for neural networks. Therefore, the results were not always successful, and often required the introduction of biased elements in the learning process, in addition to restricting the scope of possible programs to be executed. In this work, we will analyze the ability of neural networks to learn how to execute programs as a whole. To do so, we propose a different approach. Instead of using an imperative programming language, with complex structures, we use the Lambda Calculus (λ-Calculus), a simple, but Turing-Complete mathematical formalism, which serves as the basis for modern functional programming languages and is at the hear

We present a proof net calculus for the Displacement calculus and show its correctness. This is the first proof net calculus which models the Displacement calculus directly and not by some sort of translation into another formalism. The proof net calculus opens up new possibilities for parsing and proof search with the Displacement calculus.

The calculus of variations is a field of mathematical analysis born in 1687 with Newton's problem of minimal resistance, which is concerned with the maxima or minima of integral functionals. Finding the solution of such problems leads to solving the associated Euler-Lagrange equations. The subject has found many applications over the centuries, e.g., in physics, economics, engineering and biology. Up to this moment, however, the theory of the calculus of variations has been confined to Newton's approach to calculus. As in many applications negative values of admissible functions are not physically plausible, we propose here to develop an alternative calculus of variations based on the non-Newtonian approach first introduced by Grossman and Katz in the period between 1967 and 1970, which provides a calculus defined, from the very beginning, for positive real numbers only, and it is based on a (non-Newtonian) derivative that permits one to compare relative changes between a dependent positive variable and an independent variable that is also positive. In this way, the non-Newtonian calculus of variations we introduce here provides a natural framework for problems involving functions

By analogy with complex $K$--theory and $K$--theory with reality, there are theories of unitary functor calculus and unitary functor calculus with reality, both of which are generalisations of Weiss' orthogonal calculus. In this paper we show that unitary functor calculus can be completely recovered from the unitary functor calculus with reality, in analogy to how complex topological $K$--theory is completely recovered from $K$--theory with reality via forgetting the $C_2$--action.

This paper provides a para-differential calculus toolbox on compact Lie groups and homogeneous spaces. It helps to understand non-local, nonlinear partial differential operators with low regularity on manifolds with high symmetry. In particular, the paper provides a para-linearization formula for the Dirichlet-Neumann operator of a distorted 2-sphere, a key ingredient in understanding long-time behaviour of spherical capillary water waves. As an initial application, the paper provides a new proof of local well-posedness for spherical capillary water waves equation under weaker regularity assumptions compared to previous results.

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. Processes can represent molecules or other mobile objects and can be part of networks of processes that move simultaneously and interact in a given geometrical space. The calculus embeds collision detection and response, binding of compatible 3D processes and splitting of previously established bonds. In this work the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved.

Recently, a new field of study called fractional cosmology has emerged. It uses fractional calculus to modify the standard derivative equations and change the Friedmann equations. The evolution of cosmic species densities is also affected by the $μ$ fractional parameter and the age of the Universe $t_0$. This new approach to cosmology modifies the Friedmann equations and allows for a late cosmic acceleration without the need for a dark energy component. This could be a breakthrough in solving longstanding problems in cosmology. By analyzing observational Hubble data and Type Ia supernovae, we have been able to place strict constraints on the fractional and cosmological parameters. Our results suggest that the Universe may be older than previously estimated. We also explore whether fractional cosmology can help resolve the $H_0$ tension.

We show that there exists a suitable $C_2$-fixed points functor from calculus with Reality to the orthogonal calculus of Weiss which recovers orthogonal calculus ``up to a shift'' in an analogous way with the recovery of real topological $K$-theory from Atiyah's $K$-theory with Reality via appropriate $C_2$-fixed points.

The aim of this paper is to bring together a new type of quantum calculus, namely $p $-calculus, and variational calculus. We develop $p $-variational calculus and obtain a necessary optimality condition of Euler-Lagrange type and a sufficient optimality condition.

We present a streamlined, slightly modified version, in the two-variable situation, of a beautiful, but not so well known, theory by Bögel, already from the 1930s, on an alternative higher dimensional calculus of real functions, a double calculus, which includes two-variable extensions of many classical results from single variable calculus, such as Rolle's theorem, Lagrange's mean value theorem, Cauchy's mean value theorem, Fermat's extremum theorem, the first derivative test, and the first and second fundamental theorems of calculus.