Related papers: Differentiable functions on modules and the equati…
Motivated by mechanical problems where external forces are non-smooth, we consider the differential inclusion problem \[ \begin{cases} -\Delta u(x)\in \partial F(u(x))+\lambda \partial G(u(x))\ \mbox{in}\ \Omega \newline u\geq 0\ \mbox{in}\…
Let $\mathcal{M}$ be a differential module, whose coefficients are analytic elements on an open annulus $I$ ($\subset \bR_{>0}$) in a valued field, complete and algebraically closed of inequal characteristic, and let $R(\mathcal{M}, r)$ be…
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
The paper is pertaining to the spectral theory of operators and boundary value problems for differential equations on manifolds. Eigenvalues of such problems are studied as functionals on the space of domains. Resolvent continuity of the…
It is proven that every flat connection or covariant derivative $\nabla$ on a left $A$-module $M$ (with respect to the universal differential calculus) induces a right $A$-module structure on $M$ so that $\nabla$ is a bimodule connection on…
A rational matrix is a matrix-valued function $R(\lambda): \mathbb{C} \rightarrow M_p$ such that $R(\lambda) = \begin{bmatrix} r_{ij}(\lambda) \end{bmatrix}_{p\times p}$, where $r_{ij}(\lambda)$ are scalar complex rational functions in…
A symmetric function of $N$ variables can be given in terms of symmetric polynomials of these variables. We determine those symmetric polynomials in which the dual differential operators take the neatest form when expressed in terms of our…
We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…
We study the boundary value problem $-{\rm div}((|\nabla u|^{p_1(x)-2}+|\nabla u|^{p_2(x)-2})\nabla u)=\lambda|u|^{q(x)-2}u$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\Omega$ is a bounded domain in $\RR^N$ with smooth boundary,…
Let $A$ be a finite-dimensional local commutative algebra over $R$, $\dim_RA=n$. In this work we consider compact manifolds over $A$, and prove that the real part of an $A$-differentiable function is constant. Also we find estimates for the…
The differentiable programming paradigm is a cornerstone of modern scientific computing. It refers to numerical methods for computing the gradient of a numerical model's output. Many scientific models are based on differential equations,…
In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…
We investigate the relationship between measurable differentiable structures on doubling metric measure spaces and derivations. We prove: [1] a decomposition theorem for the module of derivations into free modules; [2] the existence of a…
A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing smooth functions, and a deriving transformation on this…
This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…
In the paper we develop a general theory of solvability of linear inhomogeneous boundary-value problems for systems of first-order ordinary differential equations in spaces of smooth functions on a finite interval. This problems are set…
We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…
Let g be a (say, sufficiently differentiable) function on the reals. One knows how to apply g to Hermitian elements A of a C* algebra. Yet the question of differentiability of the mapping A to g(A) is not trivial, since in general "A and dA…
In this paper, we study a class of eigenvalue problems involving both local as well as nonlocal operators, precisely the classical Laplace operator and the fractional Laplace operator in the presence of mixed boundary conditions, that is…