Related papers: A sneaky proof of the maximum modulus principle
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
We provide a new proof for maximal monotonicity of the subdifferential of a convex function.
We generalize a Cheeger-M\"uller type theorem for flat, unitary bundles on infinite covering spaces over manifolds-with-boundary, proven by Burghelea, Friedlander and Kappeller arXiv:dg-ga/9510010 [math.DG]. Employing recent anomaly results…
In this article, we first try to make the known analogy between convexity and plurisubharmonicity more precise. Then we introduce a notion of strict plurisubharmonicity analogous to strict convexity, and we show how this notion can be used…
In this paper we present a result about analytic functions f defined on the open unit disc and with a finite number of exceptional values containedin the real interval (0, 1). We find an upper bound for the modulus of f' in 0. This bound is…
Based on works by Hopf, Weinberger, Hamilton and Evans, we state and prove the strong elliptic maximum principle for smooth sections in vector bundles over Riemannian manifolds and give some applications in Differential Geometry. Moreover,…
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…
We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…
We construct curves carrying certain special linear series and not others, showing many non-containments between Brill-Noether loci in the moduli space of curves. In particular, we prove the Maximal Brill-Noether Loci conjecture in full…
We study, for the first time, the maximum modulus set of a quasiregular map. It is easy to see that these sets are necessarily closed, and contain at least one point of each modulus. Blumenthal showed that for entire maps these sets are…
In this paper, we recast a special case of Mahler'c conjecture by the maximum value of box splines. This is the case of polytopes with at most $2n+2$ facets. An asymptotic formula for univariate box splines is given. Based on the formula,…
In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a…
This short, expository note proves the existence of the maximal quotient of a variety by free rational curves.
A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…
In this paper, we show how solutions to explicit algebraic systems lead to solutions to infinite families of modular differential equations.
We propose a proof of the maximum principle for the general Pontryagin type optimal control problem, based on packages of needle variations. The optimal control problem is first reduced to a family of smooth finite-dimensional problems, the…
We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…
Hormander-Mihklin type multiplier theorem on compacts manifolds withour boundary has been obtained by using the wave kernels. We consider maximal multiplies on this setting. To obtain the result, we carefully deal with the remainder terms…
We prove that the theory of all modules over the ring of algebraic integers is decidable.
In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings between the unit balls in complex spaces. This extends the classical Schwarz-Pick lemma and the related result proved by Pavlovic.