共查询到20条相似文献,搜索用时 46 毫秒
1.
《Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire》2020,37(1):79-103
We study the Ginzburg–Landau equations on Riemann surfaces of arbitrary genus. In particular, we
- –construct explicitly the (local moduli space of gauge-equivalent) solutions in the neighborhood of the constant curvature ones;
- –classify holomorphic structures on line bundles arising as solutions to the equations in terms of the degree, the Abel–Jacobi map, and symmetric products of the surface;
- –determine the form of the energy and identify when it is below the energy of the constant curvature (normal) solutions.
2.
In this paper I tackle the question What is the mathematics in mathematics education? By providing three different frames for the word mathematics.
- 1.Frame 1: Mathematics as an abstract body of knowledge/ideas, the organization of that into systems and structures, and a set of methods for reaching conclusions.
- 2.Frame 2: Mathematics as contextual, ever present, as a lens or language to make sense of the world.
- 3.Frame 3: Mathematics as a verb (not a noun), a human activity, part of one’s identity.
3.
We tackle the problem of a combinatorial classification of finite metric spaces via their fundamental polytopes, as suggested by Vershik (2010).In this paper we consider a hyperplane arrangement associated to every split pseudometric and, for tree-like metrics, we study the combinatorics of its underlying matroid.
- •We give explicit formulas for the face numbers of fundamental polytopes and Lipschitz polytopes of all tree-like metrics.
- •We characterize the metric trees for which the fundamental polytope is simplicial.
4.
《Annals of Pure and Applied Logic》2023,174(6):103260
We study principles of the form: if a name σ is forced to have a certain property φ, then there is a ground model filter g such that satisfies φ. We prove a general correspondence connecting these name principles to forcing axioms. Special cases of the main theorem are:
- •Any forcing axiom can be expressed as a name principle. For instance, is equivalent to:
- A principle for rank 1 names (equivalently, nice names) for subsets of .
- A principle for rank 2 names for sets of reals.
- •λ-bounded forcing axioms are equivalent to name principles. Bagaria's characterisation of via generic absoluteness is a corollary.
5.
Ball mills are used for grinding of rocks, cement clinker and limestone from 10 to 100 mm feed sizes down to sub-millimetre product. They are typically rotating cylinders with diameters from 3 to 6 m and lengths from 6 to 12 m. The flow of particulate solids within these mills can be modelled using the discrete element method (DEM). Typically, such modelling is done for short durations of a few mill revolutions and either in two dimensions or using thin three-dimensional slices through the center of the mill with periodic boundary conditions in the axial direction. This facilitates an understanding of the radial motion of the charge, estimation of power draw and of liner wear, but it cannot provide information about axial transport within the mill. In this paper, we examine the axial transport in dry ball mills. This requires simulation of the entire mill and the full volume of the charge for significant periods of time (thousands of revolutions). We use a simple model for grate discharge that allows prediction of the time varying axial distribution of different particle sizes within a discharging ball mill. The distributions of sub-grate size ‘fines’ is shown to satisfy a one-dimensional diffusion equation with the diffusion coefficient decreasing with grate size. A pulse test, where a single mass of fines in injected at the feed end, is able to quantify the residence time distribution of the fines. 相似文献
6.
Horst Herrlich 《Applied Categorical Structures》1996,4(1):1-14
In the absence of the axiom of choice four versions of compactness (A-, B-, C-, and D-compactness) are investigated. Typical results:
- C-compact spaces form the epireflective hull in Haus of A-compact completely regular spaces.
- Equivalent are:
- the axiom of choice,
- A-compactness = D-compactness,
- B-compactness = D-compactness,
- C-compactness = D-compactness and complete regularity,
- products of spaces with finite topologies are A-compact,
- products of A-compact spaces are A-compact,
- products of D-compact spaces are D-compact,
- powers X k of 2-point discrete spaces are D-compact,
- finite products of D-compact spaces are D-compact,
- finite coproducts of D-compact spaces are D-compact,
- D-compact Hausdorff spaces form an epireflective subcategory of Haus,
- spaces with finite topologies are D-compact.
- Equivalent are:
- the Boolean prime ideal theorem,
- A-compactness = B-compactness,
- A-compactness and complete regularity = C-compactness,
- products of spaces with finite underlying sets are A-compact,
- products of A-compact Hausdorff spaces are A-compact,
- powers X k of 2-point discrete spaces are A-compact,
- A-compact Hausdorff spaces form an epireflective subcategory of Haus.
- Equivalent are:
- either the axiom of choice holds or every ultrafilter is fixed,
- products of B-compact spaces are B-compact.
- Equivalent are:
- Dedekind-finite sets are finite,
- every set carries some D-compact Hausdorff topology,
- every T 1-space has a T 1-D-compactification,
- Alexandroff-compactifications of discrete spaces and D-compact.
8.
Nacira Agram 《Stochastics An International Journal of Probability and Stochastic Processes》2019,91(7):1041-1066
ABSTRACTOur purpose of this paper is to study stochastic control problems for systems driven by mean-field stochastic differential equations with elephant memory, in the sense that the system (like the elephants) never forgets its history. We study both the finite horizon case and the infinite time horizon case.
In the finite horizon case, results about existence and uniqueness of solutions of such a system are given. Moreover, we prove sufficient as well as necessary stochastic maximum principles for the optimal control of such systems. We apply our results to solve a mean-field linear quadratic control problem.
For infinite horizon, we derive sufficient and necessary maximum principles.
As an illustration, we solve an optimal consumption problem from a cash flow modelled by an elephant memory mean-field system.
9.
Zhen-Qing Chen 《Journal of Applied Mathematics and Computing》1999,6(2):227-266
This paper surveys recent remarkable progress in the study of potential theory for symmetric stable processes. It also contains new results on the two-sided estimates for Green functions, Poisson kernels and Martin kernels of discontinuous symmetric α-stable process in boundedC 1,1 open sets. The new results give explicit information on how the comparing constants depend on parameter α and consequently recover the Green function and Poisson kernel estimates for Brownian motion by passing α ↑ 2. In addition to these new estimates, this paper surveys recent progress in the study of notions of harmonicity, integral representation of harmonic functions, boundary Harnack inequality, conditional gauge and intrinsic ultracontractivity for symmetric stable processes. Here is a table of contents.
- Introduction
- Green function and Poisson kernel estimates
- Estimates on balls
- Estimates on boundedC 1,1 domains
- Estimates on boundedC 1,1 open sets
- Harmonic functions and integral representation
- Two notions of harmonicity
- Martin kernel and Martin boundary
- Integral representation and uniqueness
- Boundary Harnack principle
- Conditional process and its limiting behavior
- Conditional gauge and intrinsic ultracontractivity
10.
Claus Sprengelmeier 《manuscripta mathematica》1979,28(4):431-436
Let A be a finite-dimensional algebra over a (commutative) field K of characteristic O, assume that x∈A and x2=0 implies x=0. We shall prove among others: - The derivations and automorphisms of A are semisimple. - If K is algebraically closed, then Der A=0 and |Aut A|<∞. - If K=?, then Aut A (and hence Der A) is compact. 相似文献
11.
Dirk Ferus 《manuscripta mathematica》1974,12(2):153-162
- We show that symmetric R-spaces can. be imbedded in euclidean space with parallel second fundamental tensor (Dα=0).
- We give a restrictive necessary condition for totally geodesic submanifolds of the Grassmannian to be the Gauss image of an immersion with Dα=0, c.f. [9].
12.
We study curvature dimension inequalities for the sub-Laplacian on contact Riemannian manifolds. This new curvature dimension condition is then used to obtain:
- Geometric conditions ensuring the compactness of the underlying manifold (Bonnet–Myers type results);
- Volume estimates of metric balls;
- Gradient bounds and stochastic completeness for the heat semigroup generated by the sub-Laplacian;
- Spectral gap estimates.
13.
Traditional O.R. systems are compared with problem solving in Artificial Intelligence via Expert Systems. The discussion centers on explicit knowledge representation. The general aspects are illustrated by two planning systems:
- LESP 2: A learning system for inspection plan generation
- IDA: A system for finding functions and solutions in construction
14.
Yan-Kui Song 《Czechoslovak Mathematical Journal》2013,63(2):451-460
In this paper, we prove the following statements:
- There exists a Tychonoff star countable discrete closed, pseudocompact space having a regular-closed subspace which is not star countable.
- Every separable space can be embedded into an absolutely star countable discrete closed space as a closed subspace.
- Assuming $2^{\aleph _0 } = 2^{\aleph _1 } $ , there exists a normal absolutely star countable discrete closed space having a regular-closed subspace which is not star countable.
15.
U. Derigs 《Annals of Operations Research》1985,4(1):57-102
In this paper we discuss the shortest augmenting path method for solving assignment problems in the following respect: we introduce this basic concept using matching theory we present several efficient labeling techniques for constructing shortest augmenting paths we show the relationship of this approach to several classical assignment algorithms we present extensive computational experience for complete problems, and we show how postoptimal analysis can be performed using this approach and naturally leads to a new, highly efficient hybrid approach for solving large-scale dense assignment problems 相似文献
16.
Bijan Farrahi 《Journal of Geometry》1974,5(2):185-189
It was shown by P.Dembowski [1;Satz 3] that any finite semiaffine plane(=FSAP) is of the types:
- A finite affine plane,
- A finite projective plane with one line and all its points except one deleted,
- A finite projective plane with one point deleted,
- A finite projective plane.
17.
Wu Shengjian 《数学学报(英文版)》1994,10(2):168-178
Letf(z) be an entire function of order λ and of finite lower order μ. If the zeros off(z) accumulate in the vicinity of a finite number of rays, then
- λ is finite;
- for every arbitrary numberk 1>1, there existsk 2>1 such thatT(k 1 r,f)≤k 2 T(r,f) for allr≥r 0. Applying the above results, we prove that iff(z) is extremal for Yang's inequalityp=g/2, then
- every deficient values off(z) is also its asymptotic value;
- every asymptotic value off(z) is also its deficient value;
- λ=μ;
- $\sum\limits_{a \ne \infty } {\delta (a,f) \leqslant 1 - k(\mu ).} $
18.
19.
《Applied Mathematical Modelling》2002,26(2):203-221
The performance of an iron-bath reactor has been studied using a comprehensive numerical model that combines a computational fluid dynamics approach for the gas phase and a heat and mass balance model for the bath. The model calculates:
- •coal, ore, flux and oxygen consumption;
- •post-combustion ratio (PCR);
- •heat-transfer efficiency (HTE);
- •off-gas temperature and composition;
- •heat transfer and chemical reactions between gas and iron and slag droplets; and
- •heat transfer between gas and bath, refractories and lance.
20.
The paper deals with the questions:
- whether a topological module admits maximal linearly independent subsets that are analytic
- whether an Abelian topological group admits maximal independent subsets that are analytic
- whether a topological field extension admits transcendence bases that are analytic.