The aim of this paper is to construct a natural mapping ${\check{C}}_k$, $k=1,2,3,\cdots$, from the multiplicative $K$-theory $K\left(X\right)$ of a differential manifold $X$, associated to the trivial filtration of the de Rham complex, as defined by M. Karoubi in [C. R. Acad. Sci., Paris, Sér. I 302, 321-324 (1986; Zbl 0593.55004)] to the odd cohomology $H_s^{2k-1}(X;C^{*})$. By using this mapping, the author associates to any flat complex vector bundle $E$ on $X$ characteristic classes ${\check{C}}_k\left(E\right)\in H_{dR}^{2k-1}(X;C^{*})$ analogous to the classes studied by S. Chern, J. Cheeger and J. Simons in [Differential...

We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language...

We combine the theory of radial basis functions with the finite difference method to solve the inverse heat problem, and use five standard radial basis functions in the method of the collocation. In addition, using the newly proposed numerical procedure, we also discuss some experimental numerical results.

In this paper, a rigorous computational method to enclose eigenpairs of complex interval matrices is proposed. Each eigenpair $x=(\lambda ,)$ is found by solving a nonlinear equation of the form $f\left(x\right)=0$ via a contraction argument. The set-up of the method relies on the notion of $radiipolynomials$, which provide an efficient mean of determining a domain on which the contraction mapping theorem is applicable.

Adaptive finite element method based on multilevel correction scheme is proposed to solve Steklov eigenvalue problems. In this method, each adaptive step involves solving associated boundary value problems on the adaptive partitions and small scale eigenvalue problems on the coarsest partitions. Solving eigenvalue problem in the finest partition is not required. Hence the efficiency of solving Steklov eigenvalue problems can be improved to the similar efficiency of the adaptive finite element method...

Error-controlled adaptive meshfree methods are presented for both global error measures, such as the energy norm, and goal-oriented error measures in terms of quantities of interest. The meshfree method chosen in this paper is the reproducing kernel particle method (RKPM), since it is based on a Galerkin scheme and therefore allows extensions of quality control approaches as already developed for the finite element method. Our approach of goal-oriented error estimation is based on the well-established...

An $n$-ary Poisson bracket (or generalized Poisson bracket) on the manifold $M$ is a skew-symmetric $n$-linear bracket $\{,\cdots ,\}$ of functions which is a derivation in each argument and satisfies the generalized Jacobi identity of order $n$, i.e., $$\sum _{\sigma \in S_{2n-1}}(sign\sigma )\{\{f_{{\sigma }_1},\cdots ,f_{{\sigma }_n}\},f_{{\sigma }_{n+1}},\cdots ,f_{{\sigma }_{2n-1}}\}=0,$$$S_{2n...}$

In this short note, we present several ideas and observations concerning finite element convergence and the role of the maximum angle condition. Based on previous work, we formulate a hypothesis concerning a necessary condition for $O\left(h\right)$ convergence and show a simple relation to classical problems in measure theory and differential geometry which could lead to new insights in the area.

Spline theory is mainly grounded on two approaches: the algebraic one (where splines are understood as piecewise smooth functions) and the variational one (where splines are obtained via minimization of quadratic functionals with constraints). We show that the general variational approach called smooth interpolation introduced by Talmi and Gilat covers not only the cubic spline but also the well known tension spline (called also spline in tension or spline with tension). We present the results of...

In this paper, we present a parallel scheme to solve the population balance equations based on the method of characteristics and the finite element discretization. The application of the method of characteristics transform the higher dimensional population balance equation into a series of lower dimensional convection-diffusion-reaction equations which can be solved in a parallel way. Some numerical results are presented to show the accuracy and efficiency.