Time-discretization scheme for quasi-static Maxwell's equations with a non-linear boundary condition

We study a time dependent eddy current equation for the magnetic field H$\mathit{H}$ accompanied with a non-linear degenerate boundary condition (BC), which is a generalization of the classical Silver–Müller condition for a non-perfect conductor. More exactly, the relation between the normal components of electrical E$\mathit{E}$ and magnetic H$\mathit{H}$ fields obeys the following power law ν×E=ν×(|H×ν|^α-1H×ν)$\mathit{\nu }\times \mathit{E}=\mathit{\nu }\times (|\mathit{H}\times \mathit{\nu }{|}^{\alpha -1}\mathit{H}\times \mathit{\nu })$ for some α∈(0,1]$\alpha \in (0,1]$. We establish the existence and uniqueness of a weak solution in a suitable function space under the minimal regularity assumptions on the boundary Γ$\Gamma$ and the initial data _H0${\mathit{H}}_0$. We design a non-linear time discrete approximation scheme based on Rothe's method and prove convergence of the approximations to a weak solution. We also derive the error estimates for the time-discretization.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

Quasi-static Maxwell's equations with a dissipative non-linear boundary condition: Full discretization

We study a time dependent eddy current equation for the magnetic field H accompanied with a nonlinear boundary condition, which is a generalization of the classical Silver–Müller condition for a non-perfect conductor. More exactly, the relation between the normal components of electric (E) and magnetic (H  ) fields obeys the following power law (linearized for small and large values) ν×E=ν×(|H×ν|^α−1H×ν)$\mathit{\nu }\times \mathit{E}=\mathit{\nu }\times ({|\mathit{H}\times \mathit{\nu }|}^{\alpha -1}\mathit{H}\times \mathit{\nu })$ for some α∈(0,1]$\alpha \in (0,1]$. We design a linear fully discrete approximation scheme to solve this nonlinear problem. The convergence of the approximations to a weak solution is proved, error estimates describing the dependence of the error on discretization parameters are derived as well. The efficiency of the proposed method is supported by numerical experiments.     

Maximum principles and isoperimetric inequalities for some Monge–Ampère-type problems

In this note we derive a maximum principle for an appropriate functional combination of u(x)$u(\mathbf{x})$ and |∇u|²${|\mathrm{\nabla }u|}^2$, where u(x)$u(\mathbf{x})$ is a strictly convex classical solution to a general class of Monge–Ampère equations. This maximum principle is then employed to establish some isoperimetric inequalities of interest in the theory of surfaces of constant Gauss curvature in R^N+1${\mathbb{R}}^{N+1}$.     

Dimension spectra of random subfractals of self-similar fractals

The dimension of a point x   in Euclidean space (meaning the constructive Hausdorff dimension of the singleton set {x}$\{x\}$) is the algorithmic information density of x  . Roughly speaking, this is the least real number dim(x)$\dim (x)$ such that r×dim(x)$r\times \dim (x)$ bits suffice to specify x   on a general-purpose computer with arbitrarily high precision 2^−r$2^{-r}$. The dimension spectrum of a set X   in Euclidean space is the subset of [0,n]$[0,n]$ consisting of the dimensions of all points in X.     

Classification of invariant valuations on the quaternionic plane

We describe the orbit space of the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$ on the real Grassmann manifolds _Grk(H²)${\mathrm{Gr}}_k({\mathbb{H}}^2)$ in terms of certain quaternionic matrices of Moore rank not larger than 2. We then give a complete classification of valuations on the quaternionic plane H²${\mathbb{H}}^2$ which are invariant under the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$.     

Regularity properties of the solutions to the 3D Maxwell–Landau–Lifshitz system in weighted Sobolev spaces

This paper is concerned with special regularity properties of the solutions to the Maxwell–Landau–Lifshitz (MLL) system describing ferromagnetic medium. Besides the classical results on the boundedness of _∂tm,_∂tE${\mathrm{\partial }}_t\mathbf{m},{\mathrm{\partial }}_t\mathbf{E}$ and _∂tH${\mathrm{\partial }}_t\mathbf{H}$ in the spaces L^∞(I,L²(Ω))$L^{\infty }(I,L^2(\Omega ))$ and L²(I,W^1,2(Ω))$L^2(I,W^{1,2}(\Omega ))$ we derive also estimates in weighted Sobolev spaces. This kind of estimates can be used to control the Taylor remainder when estimating the error of a numerical scheme.     

Relativization makes contradictions harder for Resolution

We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d)$\mathrm{Res}(d)$, as well as their tree-like versions, Res^?(d)${\mathrm{Res}}^{?}(d)$. The contradictions we use are natural combinatorial principles: the Least number principle  , _LNPn${\mathrm{LNP}}_n$ and an ordered variant thereof, the Induction principle  , _IPn${\mathrm{IP}}_n$.     

Best quadrature formula on Sobolev class with Chebyshev weight

Using best interpolation function based on a given function information, we present a best quadrature rule of function on Sobolev class KW^r[-1,1]${\mathit{KW}}^r[-1,1]$ with Chebyshev weight. The given function information means that the values of a function f∈KW^r[-1,1]$f\in {\mathit{KW}}^r[-1,1]$ and its derivatives up to r-1$r-1$ order at a set of nodes x$\mathbf{x}$ are given. Error bounds are obtained, and the method is illustrated by some examples.     

Posets of copies of countable scattered linear orders

We show that the separative quotient of the poset 〈P(L),⊂〉$〈\mathbb{P}(L),\subset 〉$ of isomorphic suborders of a countable scattered linear order L is σ  -closed and atomless. So, under the CH, all these posets are forcing-equivalent (to (P(ω)/Fin)⁺${(P(\omega )/\mathrm{Fin})}^{+}$).     

Nonuniform continuity of the solution map to the two component Camassa–Holm system

We prove that the solution map of the two-component Camassa–Holm system is not uniformly continuous as a map from a bounded subset of the Sobolev space H^s(T)×H^r(T)$H^s(\mathbb{T})\times H^r(\mathbb{T})$ to C([0,1],H^s(T)×H^r(T))$C([0,1],H^s(\mathbb{T})\times H^r(\mathbb{T}))$ when s?1$s?1$ and r?0$r?0$. We also demonstrate the nonuniform continuous property in the continuous function space C¹(T)×C¹(T)$C^1(\mathbb{T})\times C^1(\mathbb{T})$.     

Asymptotic profiles for wave equations with strong damping

We consider the Cauchy problem in Rⁿ${\mathbf{R}}^n$ for strongly damped wave equations. We derive asymptotic profiles of these solutions with weighted L^1,1(Rⁿ)$L^{1,1}({\mathbf{R}}^n)$ data by using a method introduced in [9] and/or [10].     

Multiplicity of layered solutions for Allen–Cahn systems with symmetric double well potential

We study the existence of solutions u:R³→R²$u:{\mathbb{R}}^3\to {\mathbb{R}}^2$ for the semilinear elliptic systems

equation(0.1)

−Δu(x,y,z)+∇W(u(x,y,z))=0,$-\mathrm{\Delta }u(x,y,z)+\mathrm{\nabla }W(u(x,y,z))=0,$

where W:R²→R$W:{\mathbb{R}}^2\to \mathbb{R}$ is a double well symmetric potential. We use variational methods to show, under generic non-degenerate properties of the set of one dimensional heteroclinic connections between the two minima _a±${\mathbf{a}}_{\pm }$ of W, that (0.1) has infinitely many geometrically distinct solutions u∈C²(R³,R²)$u\in C^2({\mathbb{R}}^3,{\mathbb{R}}^2)$ which satisfy u(x,y,z)→_a±$u(x,y,z)\to {\mathbf{a}}_{\pm }$ as x→±∞$x\to \pm \infty$ uniformly with respect to (y,z)∈R²$(y,z)\in {\mathbb{R}}^2$ and which exhibit dihedral symmetries with respect to the variables y and z  . We also characterize the asymptotic behavior of these solutions as |(y,z)|→+∞$|(y,z)|\to +\infty$.     

Maximal chains of isomorphic subgraphs of countable ultrahomogeneous graphs

For a countable ultrahomogeneous graph G=〈G,ρ〉$\mathbb{G}=〈G,\rho 〉$ let P(G)$\mathbb{P}(\mathbb{G})$ denote the collection of sets A⊂G$A\subset G$ such that 〈A,ρ∩[A]²〉≅G$〈A,\rho \cap {[A]}^2〉\cong \mathbb{G}$. The order types of maximal chains in the poset 〈P(G)∪{∅},⊂〉$〈\mathbb{P}(\mathbb{G})\cup \{\varnothing \},\subset 〉$ are characterized as:     

Generic global rigidity of body–bar frameworks

A basic geometric question is to determine when a given framework G(p)$G(\mathbf{p})$ is globally rigid in Euclidean space R^d${\mathbb{R}}^d$, where G is a finite graph and p is a configuration of points corresponding to the vertices of G  . G(p)$G(\mathbf{p})$ is globally rigid in  R^d${\mathbb{R}}^d$ if for any other configuration q for G   such that the edge lengths of G(q)$G(\mathbf{q})$ are the same as the corresponding edge lengths of G(p)$G(\mathbf{p})$, then p is congruent to q. A framework G(p)$G(\mathbf{p})$ is redundantly rigid, if it is rigid and it remains rigid after the removal of any edge of G.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.