共找到 20 条结果
We introduce a new weak variation of diamond that is meant to guess only the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin's axiom. We then prove that this principle is nontrivial by showing it may consistently fail.
Gödel, working within axiomatic logic, succeeded in 1933 in establishing a translation from theorems of intuitionistic propositional logic to ones of classical logic enriched with a modal provability operator. The converse correspondence was established by semantical means in 1948, and by Gödel through a syntactic translation in unpublished work of 1941. It is shown through proof analysis of formal derivations in natural deduction for modal logic that steps of indirect proof in normal derivations of translations of intuitionistic formulas are vacuous. This conservativity of classical over intuitionistic modal logic for translated formulas is the reason why Gödel's modal translation succeeds in singling out a "provability fragment" within classical modal logic that coincides with intuitionistic logic.
We present in this paper a new way to define weighted Sobolev spaces when the weight functions are arbitrary small. This new approach can replace the old one consisting in modifying the domain by removing the set of points where at least one of the weight functions is very small. The basic idea is to replace the distributional derivative with a new notion of weak derivative. In this way, non-locally integrable functions can be considered in these spaces. Indeed, assumptions under which a degenerate elliptic partial differential equation has a unique non-locally integrable solution are given. Tools like a Poincaré inequality and a trace operator are developed, and density results of smooth functions are established.
H. Weyl proved in Weyl (Eins Math Ann 77(3):313-352, 1916) that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients (namely a coefficient of a monomial of degree at least 1) is irrational. We use Weyl's result to prove a higher dimensional analogue of this fact. Namely, we prove that evaluations of polynomials on lattice points are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. This result improves the main result of Arhipov et al. (Mat Zametki 25(1):3-14, 157, 1979). We prove this analogue as a corollary of a theorem that guarantees equidistribution of grid evaluations mod 1 for all functions which satisfy some restraints on their derivatives. Another corollary we prove is that for p ∈ ( 1 , ∞ ) the ℓ p norms of integer vectors are equidistributed mod 1.
We study conservation laws with a discontinuous flux function f ( x , λ ) . The flux function can be expressed as g ( β ( x , λ ) ) , where g is locally Lipschitz, β ( x , λ ) is an increasing function in λ for each fixed x , ∇ β ( · , 0 ) is a finite measure, and β ( · , 0 ) is bounded. We consider this problem under the Audusse-Perthame entropy condition and derive a kinetic formulation. Using the kinetic approach, we prove an existence result under the assumption that the initial function belongs to L 1 . Uniqueness results are also presented.
In this article we completely characterise constant length substitution shifts which have a proper almost automorphic factor, or which have a bijective substitution factor such that the factor map is injective on at least one point. Our approach is algebraic: we characterise these dynamical properties in terms of a finite semigroup defined by the substitution. We characterise the existence of almost automorphic factors in terms of Green's R -relation and the existence of bijective factors in terms of Green's L -relation. Our results are constructive.
We study the spectral bounds of self-adjoint operators on the Hilbert space of square-integrable functions, arising from the representation theory of the Heisenberg group. Interestingly, starting either with the von Neumann lattice or the hexagonal lattice of density 2, the spectral bounds obey well-known arithmetic-geometric mean iterations. This follows from connections to Jacobi theta functions and Ramanujan's corresponding theories. As a consequence, we rediscover that these operators resemble the identity operator as the density of the lattice grows. We also prove that the conjectural value of Landau's constant is obtained as half the cubic arithmetic-geometric mean of 2 3 and 1, which we believe to be a new result.
We consider 2D Maxwell-Lorentz equations with an extended charged rotating particle. The system admits solitons which are solutions corresponding to a particle moving with constant velocity and rotating with constant angular velocity. Our main result is asymptotic stability of moving solitons with zero angular velocity.
The geometry of webs has been investigated over more than a century driven by still open problems. In our paper we contribute to extending the knowledge on webs from the perspective of the geometry of webs on surfaces in three dimensional space. Our study of AGAG-webs is motivated by architectural applications of gridshell structures where four families of manufactured curves on a curved surface are realizations of asymptotic lines and geodesic lines. We describe all discrete AGAG-webs in isotropic space and propose a method to construct them. Furthermore, we prove that some sub-nets of an AGAG-web are timelike minimal surfaces in Minkowski space and can be embedded into a one-parameter family of discrete isotropic Voss nets.
N-functions and their growth and regularity properties are crucial in order to introduce and study Orlicz classes and Orlicz spaces. We consider N-functions which are given in terms of so-called associated weight functions. These functions are frequently appearing in the theory of ultradifferentiable function classes and in this setting additional information is available since associated weight functions are defined in terms of a given weight sequence. We express and characterize several known properties for N-functions purely in terms of weight sequences which allows to construct (counter-) examples. Moreover, we study how for abstractly given N-functions this framework becomes meaningful and finally we establish a connection between the complementary N-function and the recently introduced notion of the so-called dual sequence.
The study of the well-known partition function p(n) counting the number of solutions to n=a1+⋯+aℓ with integers 1≤a1≤⋯≤aℓ has a long history in number theory and combinatorics. In this paper, we study a variant, namely partitions of integers into n=a1α+⋯+aℓαwith 1≤a1<⋯<aℓ and some fixed 0<α<1. In particular, we prove a central limit theorem for the number of summands in such partitions, using the saddle-point method.
This article is a natural continuation of the paper Tiwari, D., Giordano, P., Hyperseries in the non-Archimedean ring of Colombeau generalized numbers in this journal. We study one variable hyper-power series by analyzing the notion of radius of convergence and proving classical results such as algebraic operations, composition and reciprocal of hyper-power series. We then define and study one variable generalized real analytic functions, considering their derivation, integration, a suitable formulation of the identity theorem and the characterization by local uniform upper bounds of derivatives. On the contrary with respect to the classical use of series in the theory of Colombeau real analytic functions, we can recover several classical examples in a non-infinitesimal set of convergence. The notion of generalized real analytic function reveals to be less rigid both with respect to the classical one and to Colombeau theory, e.g. including classical non-analytic smooth functions with flat points and several distributions such as the Dirac delta. On the other hand, each Colombeau real analytic function is also a generalized real analytic function.
In this paper we describe several new aspects of the foundations of the representation theory of the space of smooth-automorphic forms (i.e., not necessarily K ∞ -finite automorphic forms) for general connected reductive groups over number fields. Our role model for this space of smooth-automorphic forms is a "smooth version" of the space of automorphic forms, whose internal structure was the topic of Franke's famous paper (Ann Sci de l'ENS 2:181-279, 1998). We prove that the important decomposition along the parabolic support, and the even finer-and structurally more important-decomposition along the cuspidal support of automorphic forms transfer in a topologized version to the larger setting of smooth-automorphic forms. In this way, we establish smooth-automorphic versions of the main results of Franke and Schwermer (Math Ann 311:765-790, 1998) and of Mœglin and Waldspurger (Spectral Decomposition and Eisenstein Series, Cambridge University Press, 1995), III.2.6.
We investigate the existence of solutions to a recent model for large-scale equatorial waves, derived recently by an asymptotic method driven by the thin-shell approximation of the Earth's atmosphere in rotating spherical coordinates.
We study the generic behavior of the method of successive approximations for set-valued mappings in separable Banach spaces. We consider the case of nonexpansive mappings with convex and compact point images and show that for the typical such mapping and typical points of its domain the sequence of successive approximations is unique and converges to a fixed point of the mapping.
We prove that a family of Diophantine series satisfies an approximate functional equation. It generalizes a result by Rivoal and Roques and proves an extended version of a conjecture posed in their paper. We also characterize the convergence points.
Let V be a valuation ring of a global field K. We show that for all positive integers k and 1<n1≤⋯≤nk there exists an integer-valued polynomial on V, that is, an element of Int(V)={f∈K[X]∣f(V)⊆V}, which has precisely k essentially different factorizations into irreducible elements of Int(V) whose lengths are exactly n1,…,nk. In fact, we show more, namely that the same result holds true for every discrete valuation domain V with finite residue field such that the quotient field of V admits a valuation ring independent of V whose maximal ideal is principal or whose residue field is finite. If the quotient field of V is a purely transcendental extension of an arbitrary field, this property is satisfied. This solves an open problem proposed by Cahen, Fontana, Frisch and Glaz in these cases.
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on ω 2 and its restrictions to certain cofinalities. Our main result shows that the strengthening MM + + of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on ω 2 to sets of ordinals of countable cofinality is Δ 1 -definable by formulas with parameters in H ( ω 3 ) . The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on ω 2 and strong forcing axioms that are compatible with CH . Finally, we answer a question of S. Friedman, Wu and Zdomskyy by showing that the Δ 1 -definability of the non-stationary ideal on ω 2 is compatible with arbitrary large values of the continuum function at ω 2 .
We consider the family H ^ μ : = Δ ^ Δ ^ - μ V ^ , μ ∈ R , of discrete Schrödinger-type operators in d-dimensional lattice Z d , where Δ ^ is the discrete Laplacian and V ^ is of rank-one. We prove that there exist coupling constant thresholds μ o , μ o ≥ 0 such that for any μ ∈ [ - μ o , μ o ] the discrete spectrum of H μ ^ is empty and for any μ ∈ R \ [ - μ o , μ o ] the discrete spectrum of H μ ^ is a singleton { e ( μ ) } , and e ( μ ) < 0 for μ > μ o and e ( μ ) > 4 d 2 for μ < - μ o . Moreover, we study the asymptotics of e ( μ ) as μ ↘ μ o and μ ↗ - μ o as well as μ → ± ∞ . The asymptotics highly depends on d and V ^ .
This article is the natural continuation of the paper: Mukhammadiev et al. Supremum, infimum and hyperlimits of Colombeau generalized numbers in this journal. Since the ring of Robinson-Colombeau is non-Archimedean and Cauchy complete, a classical series ∑ n = 0 + ∞ a n of generalized numbers is convergent if and only if a n → 0 in the sharp topology. Therefore, this property does not permit us to generalize several classical results, mainly in the study of analytic generalized functions (as well as, e.g., in the study of sigma-additivity in integration of generalized functions). Introducing the notion of hyperseries, we solve this problem recovering classical examples of analytic functions as well as several classical results.