• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.4
• /
• pp.305-316
• /
• 2014

The Hodge-Helmholtz decomposition splits a vector field into the unique sum of a divergence-free vector field (solenoidal part) and a gradient field (irrotational part). In a bounded domain, a boundary condition needs to be supplied to the decomposition. The decomposition with the non-penetration boundary condition is equivalent to solving the Poisson equation with the Neumann boundary condition. The Gibou-Min method is an application of the Poisson solver by Purvis and Burkhalter to the decomposition. Using the $L^2$-orthogonality between the error vector and the consistency, the convergence for approximating the divergence-free vector field was recently proved to be $O(h^{1.5})$ with step size h. In this work, we analyze the convergence of the irrotattional in the decomposition. To the end, we introduce a discrete version of the Poincare inequality, which leads to a proof of the O(h) convergence for the scalar variable of the gradient field in a domain with general intersection property.

• Journal of the Korean Mathematical Society
• /
• v.40 no.6
• /
• pp.1061-1074
• /
• 2003

We first show the analyticity of Stokes operator in Besov spaces $B_{p,q}$$^{a}$ ( $R_{＋}$$^{n}$). Then, we estimate the asymptotic behavior of the Stokes solutions. We also show the Hodge decomposition.n.

• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.195-202
• /
• 2009

This paper deals with very weak solutions of the A-harmonic equation $divA(x,{\nabla}u)$ = 0 (*) with the operator $A:{\Omega}{\times}R^n{\rightarrow}R^n$ satisfies some coercivity and controllable growth conditions with Muckenhoupt weight. By using the Hodge decomposition with weight, a regularity property is proved: There exists an integrable exponent $r_1=r_1({\lambda},n,p)$ < p, such that every very weak solution $u{\in}W_{loc}^{1,r}({\Omega},{\omega})$ with $r_1$ < r < p belongs to $W_{loc}^{1,p}({\Omega},{\omega})$. That is, u is a weak solution to (*) in the usual sense.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.59-68
• /
• 2011

In this paper, we first give the definition of degenerate weakly ($k_1$, $k_2$-quasiregular mappings by using the technique of exterior power and exterior differential forms, and then, by using Hodge decomposition and Reverse H$\"{o}$lder inequality, we obtain the higher integrability result: for any $q_1$ satisfying 0 < $k_1({n \atop l})^{3/2}n^{l/2}\;{\times}\;2^{n+1}l\;{\times}\;100^{n^2}\;\[2^l(2^{n+3l}+1)\]\;(l-q_1)$ < 1 there exists an integrable exponent $p_1$ = $p_1$(n, l, $k_1$, $k_2$) > l, such that every degenerate weakly ($k_1$, $k_2$)-quasiregular mapping f ${\in}$ $W_{loc}^{1,q_1}$ (${\Omega}$, $R^n$) belongs to $W_{loc}^{1,p_1}$ (${\Omega}$, $R^m$), that is, f is a degenerate ($k_1$, $k_2$)-quasiregular mapping in the usual sense.

• Journal of the Chungcheong Mathematical Society
• /
• v.37 no.1
• /
• pp.1-17
• /
• 2024

The boundary conditions $\tilde{P}_0$ and $\tilde{P}_1$ were introduced in [5] by using the Hodge decomposition on the de Rham complex. In [6] the Atiyah-Bott-Lefschetz type fixed point formulas were proved on a compact Riemannian manifold with boundary for some special type of smooth functions by using these two boundary conditions. In this paper we slightly extend the result of [6] and give two examples showing these fixed point theorems.