## On charges equilibrium distribution on conductor

Ashot Vagharshakyan

Institute of Mathematics, National Academy of Sciences (Armenia)

Keywords: Equilibrium distribution of electric charges

Abstract. In this paper, new model for charges distribution is discussed. It is proved that a small charge inside a conductor, no force acts. charge, which is located on the border resistant to small perturbations. The minimum energy of a photon, which could push the electron from the conductor is estimated.

## 1. Introduction

In this paper we propose a new model of the charge distribution. We give a new definition of potential energy. The equilibrium state is characterized by a minimum value of the potential energy. Existence and uniqueness of the equilibrium distribution, we have proved. Shown that the potential function for the equilibrium distribution is constant inside a conductor. Consequently, on a small charge, inside a conductor do not acts force. This result is explained wellknown phenomenon in M. Faraday Cage. It is proved that electrons placed on the border, are stable to a small perturbation. It follows from this that the charges on the border, Can not leave the conductor. Nevertheless, large perturbation may be cause of electron to leave the conductor. The photon energy absorbed by an electron, the electron energy increases. The energy that can rid of an electron from the conductor is estimated. It is a typical situation for the photoelectric effect.

## 2. Auxiliary information

For an arbitrary function

$$\varphi ( \vec { x } ), \ \vec { x } \in R ^ { 3 }, \\ \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \vdots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots\slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slclots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots \slots$$

denote the nearest point to the set through { /vector x ; ϕ /vector ( x ) = 0 } . Infinitely differentiable functions ϕ /vector ( x ) belong to the space /Ifractur if it has compact support. The sequence ϕ n ( /vector x , ) n = 1 2 , , . . . goes to zero, if it has all derivatives tend uniformly to zero.

The family of linear and continuous functionals, defined on /Ifractur are 'generalized functions' and they are denoted through /Ifractur ∗ . An arbitrary integrable function f /vector ( x , ) /vector x ∈ R 3 generates a generalized function 1

acting by the formula

$$l _ { f } ( \varphi ) = \int _ { R ^ { 3 } } f ( \vec { x } ) \varphi ( \vec { x } ) d \vec { x }. \\ \intertext { f a n o r a l i z e d f i n c t i o n i e d f i n o }$$

Partial derivative of a generalized function is defined

$$\frac { \partial l } { \partial x } ( \varphi ) = - l \left ( \frac { \partial \varphi } { \partial x } \right ), \ \varphi \in \mathfrak { S }. \\ \intertext { m o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i n r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o n t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e s t o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r a t i n c o n t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i n r o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i l r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o s t o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d o t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t ho d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e s t o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e no t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d j r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o t h o d i r e t r e n o$$

Analogously define the derivative of other variables. For an arbitrary generalized function l ∈ /Ifractur ∗ is defined by supp l ( ) the smallest close set such that for an arbitrary ϕ ∈ /Ifractur such that

$$\ s u p p ( \varphi ) \cap s u p p ( l ) = \emptyset \\ \tilde { \ }. \quad. \quad. \quad. \quad \lambda \,.$$

we have l ( ϕ ) = 0. Let us note that if supp l ( ) is compact set, then in the natural way, it is possible to define l ( ϕ ) for an arbitrary infinitely differentiable function for which supp ϕ ( ) is not necessary to be compact.

Definition 1. A function f /vector ( x ) ∈ L 2 ( R 3 ) belongs to the class of Dirichlet D if the generalized function l f has all partial derivatives

$$\frac { \partial l } { \partial x }, \ \frac { \partial l } { \partial x }, \ \frac { \partial l } { \partial x },$$

which are generalized by functions from L 2 ( R 3 ) . The norm in Dirichlet class is defined by

$$\begin{array} { c } \cdot & \lambda \\ \| f \| _ {$$

∣ ∣ ∣ ∣ ∣ ∣ A generalized function l ∈ /Ifractur ∗ belongs to the class D ∗ if there is a constant M &lt; ∞ that for each ϕ ∈ D the inequality

$$\begin{array} {$$

valid. The minimum value M for which this inequality valid denoted by ‖ ‖ l D ∗ . Note that the known function of Dirac δ does not belong D ∗

Definition 2. A generalized function l f ∈ D ∗ has a density at the point /vector x when

$$\lim _ { r \to 0 + } \frac { 1 } { | B ( \vec {$$

This definition is correct for the generalized functions of the form l f We have

Theorem 3. If the generalized function l f ∈ D ∗ has density at the point /vector x then

$$( \vec { y } ) d v.$$

$$\i t \, \vec { x } \, \text{ then} \\ \lim _ {$$

In general case introduce the next definition.

Definition 4. For an arbitrary generalized function l ∈ D ∗ we say that it has density at the point /vector x if the limit exists, where

$$\lim _ { r \rightarrow 0 + } \frac { 4 } { \left | B ( \vec { x }, \, r ) \right | } l \left ( T _ { \vec { x } } \right )$$

$$T _ { \vec { x } } ( \vec { y } ) = \left ( 1 - \frac { \| \vec { x } - \vec { y } \| } { r } \right ) ^ { + }, \ \vec { y } \in B ( \vec { x }, \, r ).$$

## 3. Potential function

As a result, by the influence of neighboring placed atoms, some electrons leave atom. Those electrons create a cloud of 'free' electrons. Family of positive ions and negative electrons, are well - balanced. Tat is why, conductor seems neutral. The most suitable mathematical tool to describe the distribution of charges, is the finite measure. Go ahead, the charge distribution, we will describe by generalized function l ∈ /Ifractur ∗ . In this point of view some problems arise. For example, the charge, concentrated on the given set, for arbitrary subset has not a sense. Naturally, the question arises on the necessity to introduce generalized functions. In example 1. it is proved, that for the equilibrium distribution, we must to use generalized functions.

Definition 5. When F ⊂ R 3 is a compact set and q is a real number. denote by Ch F,q ( ) the set all generalized functions l ∈ D ∗ with the support supp l ( ) ⊆ F and l (1) = q .

Definition 6. The capacity of a bounded set F ⊂ R 3 is defined by the formula

$$C ( F ) = \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } \vee F } \| \nabla U \| ^ { 2 } d v, \\ \intertext { i \leq h a r m o n i c e \ o u t \ o f \ t h e \ e t \ F \ \ a n d }$$

where U /vector ( x ) ∈ D is harmonic out of the set F , and tends to zero at infinity and U /vector ( x ) = 1 , /vector x ∈ F . 3

For the ball we have

$$C ( B ( \vec { 0 }, \, r ) ) = r.$$

Definition 7. Denote by k = k F ( ) &gt; 0 the greatest number, for which the following inequality valid

$$k ^ { 2 } ( F ) \int _ { F } \| f \| ^ { 2 } d v \leq \int _ { R ^ { 3 } } \| \nabla f \| ^ { 2 } d v,$$

Theorem 8. Assume F = B /vector (0 , r ) . The estimates for each f /vector ( x ) ∈ D .

$$\frac { 3 } { 4 r \sqrt { 2 \pi } } \leq k \left ( F \right ) \leq \sqrt { \frac { C ( F ) } { | F | } }$$

valid.

Proof. As f ∈ D and it satisfies the conditions f /vector ( x ) ≡ 1 , /vector x ∈ F and it is harmonic function on the set R 3 \ F . Hence we have

Consequently,

$$\text{is maximum on one set } \in \mathcal { N } \ \vee \ \text{the use} \\ k ^ { 2 } ( F ) | F | & = k ^ { 2 } ( F ) \int _ { F } | f ( \vec { x } ) | ^ { 2 } d v \leq \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } } | \nabla f ( \vec { x } ) | ^ { 2 } d v = \\ & = \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } \vee F } | \nabla f ( \vec { x } ) | ^ { 2 } d v = C ( F ) \\ \text{Consequently}, & \quad \dots \quad.$$

$$k ^ { 2 } ( F ) \leq \frac { C ( F ) } { | F | }. \\ \intertext { w e r \ b o u n d. } \ F i r s t \ w$$

$$f ^ { * } ( \vec { x } ) = \int _ { 0 } ^ { \infty } \chi ( \vec { x }, t ) d t, \\ \| \vec { x } ) \| < R \text{ and } \chi ( \vec { x }, t ) = 0 \text{ if } \| \dot { a }$$

Now let us prove the lower bound. First we give some preliminary results. For an arbitrary function f /vector ( x , ) /vector x ∈ R , 3 we define the new function where χ /vector , ( x t ) = 1 if /vector x ) &lt; R and χ /vector , ( x t ) = 0 if /vector x ) R .

$$R ^ { 3 } = \frac { 3 } { 4 \pi } \left | \left \{ \vec { x } ; \ f ( \vec { x } ) \leq t \right \} \right |.$$

‖ ‖ ‖ ‖ ≥ Here R .

$$\int _ { R ^ { 3 } } | f ( \vec { x } ) | ^ { 2 } d v = \int _ { R ^ { 3 } } | f ^ { * } ( \vec { x } ) | ^ { 2 } d v.$$

$$\int _ { R ^ { 3 } } \| \nabla f ^ { * } ( \vec { x } ) \| ^ { 2 } d v \leq \int _ { 4 } \| \nabla f ( \vec { x } ) \| ^ { 2 } d v.$$

It is known that

The inequality valid. So, it is enough to prove, the requared inequality for the functions satisfying the condition f /vector ( x ) = f ∗ ( /vector x ). For E = B /vector , r ( x ) we have

$$\text{.} \text{tisfying the condition } f ( \vec { x } ) = f ^ { * } ( \vec { x } ). \text{ For } E = B ( \vec { x }, r ) \text{ we have} \\ \int _ { E } | f | ^ { 2 } d v = \int _ { 0 } ^ { r } \int _ { 0 } ^ { 2 \pi } \int _ { 0 } ^ { \pi } | f ( \rho ) | ^ { 2 } \rho ^ { 2 } s i n ( \theta ) d \rho d \theta d \varphi = \\ = 4 \pi \int _ { 0 } ^ { r } \left | f ( r ) - \int _ { \rho } ^ { r } f ^ { \prime } ( x ) d x \right | ^ { 2 } \rho ^ { 2 } d \rho \leq \\ \leq 8 \pi \left ( \frac { r ^ { 3 } } { 3 } | f ( r ) | ^ { 2 } + \int _ { 0 } ^ { r } \left ( \int _ { \rho } ^ { r } | f ^ { \prime } ( x ) | d x \right ) ^ { 2 } \rho ^ { 2 } d \rho \right ). \\ \text{f Hardy inequality} \quad \begin{array} { c } \, \\ \, \, \,$$

Of Hardy inequality we have

$$\int _ { 0 } ^ { \lambda } \left ( \int _ { \rho } ^ { r } | f ^ { \prime } ( x ) | d x \right ) ^ { 2 } \rho ^ { 2 } d \rho \leq \frac { 4 } { 9 } \int _ { 0 } ^ { r } | f ^ { \prime } ( x ) | ^ { 2 } d x,$$

$$& \overset { \cdots } { \int _ { E } | f | ^ { 2 } d v } \leq \frac { 2 r ^ { 2 } } { 3 } \int _ { R ^ { 3 } \searrow E } | \nabla f | ^ { 2 } d v + \frac { 8 r ^ { 2 } } { 9 } \int _ { E } | \nabla f | ^ { 2 } d v \leq \frac { 8 r ^ { 2 } } { 9 } \int _ { R ^ { 3 } } | \nabla f | ^ { 2 } d v. \\ & C o n s e n c e n t { \mathbf v }$$

Consequently,

$$\L ^ { \prime } \quad \frac { 9 } { 3 2 \pi r ^ { 2 } } \int _ { E } | f | ^ { 2 } d v \leq \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } } | \nabla f | ^ { 2 } d v. \quad \bigoplus$$

Definition 9. For arbitrary functions f, g ∈ D let us denote through

Definition 10. The unique function U l k ( /vector x ) ∈ D is k -potential function for the charge distribution l ∈ D ∗ if for an arbitrary ϕ ∈ D we have

$$( f, \, g ) _ { k } & = \frac { 1 } { 4 \pi } \overset { \lambda } { \int _ { R ^ { 3 } } } ^ { \lambda } ( \nabla f, \, \nabla g ) d v - k ^ { 2 } \int _ { E } f \cdot g d v. \\ \intertext { n t o n } \i \, \i \, \ T h o \, \ a m i n o \, \ f o m o t i o n \ I t l \, \vec { c } \, \llcorner \, \Phi \ i s o \, \ l \, \ \ m o t o n t i o n l$$

$$l ( \varphi ) = ( \varphi, \, U _ { k } ^ { l } ).$$

The existence and uniqueness of potential function follows of M. Riesz theorem.

Definition 11. The unite vector ¯ n is orthogonal to E at the point /vector x 0 ∈ E if

Definition 12. The unit vector ¯ n + is an outer normal E at the point /vector x 0 ∈ E if it is orthogonal to E and there is a number 0 &lt; r such that

$$\lim _ { E \ni \vec { x } \to \vec { x } _ { 0 } } \frac { ( \vec { x } - \vec { x } _ { 0 }, \, \vec { n } ) } { \left \| \vec { x } - \vec { x } _ { 0 } \right \| } = 0. \\ \ell \ u n i t \ v e c t o r \, \bar { n } \,. \ i s \ a n \ o u t e r \ n o ^ { \prime }$$

$$B ( \vec { x } + r \bar { n } _ { + }, \underset { 5 } { r } ) \cap E = \emptyset.$$

If ¯ is a unit vector and n f /vector ( x , ) /vector x ∈ R , 3 is a function denote Through

$$\frac { \partial f ( \vec { x } ) } { \partial \bar { n } } = \lim _ { t \to + 0 } \frac { f ( \vec { x } + t \bar { n } ) - f ( \vec { x } ) } { t } \quad _ { \cdot } \quad _ { \cdot } \quad _ { \cdot } \quad _ { \cdot }.$$

if the limit exists. Let us note that in this definition only the values of the function on { /vector x + ¯; 0 tn &lt; t } , we use. If the function f is differentiable at the point /vector x then

$$\frac { \partial f ( \vec { x } ) } { \partial \bar { m } } = - \frac { \partial f ( \vec { x } ) } { \partial \bar { n } }, \\ \lambda \sim \overline { \sim } + \infty \infty \infty \cdots$$

where /vector m = -/vector n . In this statement the differentiability plays essential since for the function f /vector ( x ) = ‖ /vector x ‖ we have

$$\frac { \partial f ( \vec { 0 } ) } { \partial \bar { m } } = \frac { \partial f ( \vec { 0 } ) } { \partial \bar { n } } = 1.$$

Theorem 13. If E is a compact set with smooth boundary ∂E . If l ∈ D ∗ has support supp l ( ) ⊆ E . Let the potential function U l k ( /vector x ) ∈ D almost everywhere has all derivatives of the second order at the points /vector x ∈ R 3 \ ∂E , wtich are integrable functions in R 3 . Then for arabitrary ϕ ∈ /Ifractur we have where /vector n + be outer normal to E and /vector n -be inner normal to E .

$$l ( \varphi ) & = - k ^ { 2 } \int _ { E } \varphi U _ { k } ^ { l } d v - \int _ { \partial E } \varphi \left ( \frac { \partial U _ { k } ^ { l } } { \partial \vec { n } _ { + } } + \frac { \partial U _ { k } ^ { l } } { \partial \vec { n } _ { - } } \right ) d s - \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } } \varphi U _ { k } ^ { l } d v, \\ \text{where $\vec{n}$} \cdot \text{ be outer normal to $E$ and $\vec{n}$} \quad \text{be inner normal to $F$}.$$

Proof.

and

$$\Omega _ { + } ( t ) = \Omega \, \sum \left ( E \cup \{ \vec { x } + s \vec { n } _ { + } ( \vec { x } ) ; \ 0 < s \leq t, \, \vec { x } \in \partial E \} \right )$$

$$\Omega _ { - } ( t ) = ( \Omega \cap E ) \, \sum \left ( \{ \vec { x } + s \vec { n } _ { - } ( \vec { x } ) ; \ 0 < s \leq t, \, \vec { x } \in \partial E \} \right ) \\ \tau \, \vdash \, \vdash \, \sqrt { \nu } \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdash \, \vdwrap \, \infty \, \ \nu \, \infty }$$

Let us note that for a small value of t at each point

Let /vector m + ( /vector y be the unit outer normal to Ω + ( ) at the point t /vector y ∈ ∂ Ω ( ) + t and /vector m -( /vector y be the unit inner normal to Ω -( ) at the point t /vector y ∈ ∂ Ω ( ). + t

$$\vec { x } + t \vec { n } _ { + } ( \vec { x } ), \ \vec { x } \in \partial \Omega _ { + } ( t ) \\ \vec { \nu } \quad & \nu \cap \dots \mu \dots \mu \dots \mu$$

$$\vec { x } + t \vec { n } _ { - } ( \vec { x } ), \ \vec { x } \in \partial \Omega _ { - } ( t ) \\ \vec { \mapsto } \ \vec { \imath } \rightarrow \ \mathbf v \mathbf v _ { - } \ \mathbf v _ { - } \ \dots... }$$

we have /vector m + ( /vector y ) = -/vector n + ( /vector y ) and at each point we have /vector m -( /vector y ) = -/vector n -( /vector y ). We have

$$= - k ^ { 2 } \int _ { \substack { R ^ { 3 } \\ 6 } } \varphi U ^ { l } _ { k } d v +$$

$$\lambda ^ { \prime } _ { \L } ( \varphi ) = \frac { 1 } { 4 \pi } \int _ { R ^ { 3 } } ^ { \L } & \Lambda ^ { \prime } _ { \L } ( \nabla \varphi, \, \nabla U _ { k } ^ { l } ) \, d v - k ^ { 2 } \int _ { R ^ { 3 } } \varphi U _ { k } ^ { l } d v = \\ & = - k ^ { 2 } \, \int _ { \L } \, \Lambda U ^ { l } _ { \L } d n + \Lambda$$

$$& = \lim _ { t \to + 0 } \frac { 1 } { 4 \pi } \int _ { \Omega _ { + } ( t ) } \left ( \nabla \varphi, \, \nabla U _ { k } ^ { l } \right ) d v + \lim _ { t \to + 0 } \frac { 1 } { 4 \pi } \int _ { \Omega _ { - } ( t ) } \left ( \nabla \varphi, \, \nabla U _ { k } ^ { l } \right ) d v \\ & \text{By Green's formula we have } _ { \cdot \quad \cdot }.$$

By Green's formula we have

$$\lim _ { t \to + 0 } \frac { 1 } { 4 \pi } \int _ { \Omega _ { + } ( t ) } \left ( \nabla \varphi, \, \nabla U _ { k } ^ { l } \right ) d v = \\ \intertext { w } \int \frac { 1 } { 2 } \int \frac { \partial U _ { k } ^ { l } \partial \epsilon } { 2 } \frac { 1 } { 2 } \int \frac { 1 } { 2 } \int \partial \tau \Lambda T ^ { l } \Delta _ { n }$$

Similary we have

$$\begin{array} { c } \lambda ^ { \ } t \cdot \, \cdot \, \cdot \, \cdot \, \mathbb { V } _ { \Omega _ { + } ( t ) } } \\ = \lim _ { t \to + 0 } \left ( \frac { 1 } { 4 \pi } \int _ { \partial \Omega _ { + } ( t ) } \varphi \frac { \partial U _ { k } ^ { l } } { \partial \vec { n } _ { + } } d s - \frac { 1 } { 4 \pi } \int _ { \Omega _ { + } ( t ) } \varphi \Delta U _ { k } ^ { l } d v \right ) = \\ = \frac { 1 } { 4 \pi } \int _ { \partial E } \varphi \frac { \partial U _ { k } ^ { l } } { \partial \vec { n } _ { + } } d s - \frac { 1 } { 4 \pi } \int _ { \Omega \cap E } \varphi \Delta U _ { k } ^ { l } d v \\ \text{Similarity we have} \end{array}.$$

$$\lim _ { t \to + 0 } ^ { \mu } \frac { \mu ^ { \nu } _ { k } } { 4 \pi } \int _ { \Omega _ { - } ( t ) } \left ( \nabla \varphi, \, \nabla U ^ { l } _ { k } \right ) d v = \frac { 1 } { 4 \pi } \int _ { \partial E } \varphi \frac { \partial U ^ { l } _ { k } } { \partial \vec { n } _ { - } } d s - \frac { 1 } { 4 \pi } \int _ { \Omega \cap E } \varphi \Delta U ^ { l } _ { k } d v \,$$

## 4. Equlibrium distribution

Definition 14. If 0 &lt; k ≤ k E ( ) . Then k -potential energy of distribution l ∈ D ∗ is defined by

Theorem 15. If E is a compact and q -is a real number then the functional W l , l k ( ) ∈ Ch E, q ( ) is convex.

$$\begin{array} { c } \dot { \ } W _ { k } ( \dot { l } ) = l \left ( U _ { k } ^ { l } \right ) = \left ( U _ { k } ^ { l }, \, U _ { k } ^ { l } \right ) _ { k }. \\ \underbrace { I f \, E \, i s \ a \ c o m p a c t \ a n d \ q \, - \ i s \ a \ r e a l \ r } \\ \underbrace { I \, \subset \, C h l \, F \, \ a \, \underbrace { \, i s \ c o n d \rho } } \end{array}$$

Proof. Let l 1 , l 2 ∈ Ch E,q ( ). We need to prove the inequality

This inequality is equivalent to the following

$$W _ { k } \left ( \frac { l _ { 1 } + l _ { 2 } } { 2 } \right ) & \leq \frac { W _ { k } ( l _ { 1 } ) + W _ { k } ( l _ { 2 } ) } { 2 }. \\ \text{itv is equivalent to the following} \sigma$$

After elementary transformation we come to

$$\stackrel { \cdot } { \left ( U _ { k } ^ { l _ { 1 } + l _ { 2 } }, \stackrel { \cdot } { U _ { k } ^ { l _ { 1 } + l _ { 2 } } } \right ) _ { k } } \leq 2 \left ( U _ { k } ^ { l _ { 1 } }, \, U _ { k } ^ { l _ { 1 } } \right ) _ { k } + 2 \left ( U _ { k } ^ { l _ { 2 } }, \, U _ { k } ^ { l _ { 2 } } \right ) _ { k }. \\ \text{ter elementary transformation we come to} \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

$$0 \leq ( U _ { k } ^ { l _ { 1 } - l _ { 2 } }, \, U _ { k } ^ { l _ { 1 } - l _ { 2 } } ) _ { k } \,. \quad \begin{array} { c } 0 \\ 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \\ 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \\ 0 \end{array} \right. \quad \begin{array} { c } 0 \end{array} \right. \quad \begin{array} { c } 0 \end{array}$$

Definition 16. Let E be a compact set and q be a real number. If for l k ∈ Ch E, q ( ) we have

The distribution l k is k equilibrium distribution in Ch E, q ( ) .

$$W _ { k } ( l _ { k } ) & = \inf \left \{ W _ { k } ( l ) ; \ l \in C h ( E, \, q ) \right \} \\ \dots \dots \int \left ( 1 \right ) \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta ( E, E ) )$$

Theorem 17. If E is a compact set and q is a real number. Then there is a unique k equilibrium distribution in Ch E, q ( ) .

Proof. Thunks of the known result from functional analysis it is enough to note that the set Ch E, q ( ) is close end convex. /square

Theorem 18. If E is a compact set and q is a real number then the potential function U l k k is constant inside of conductor.

Proof. Let B /vector ( x , r 1 ) and B /vector ( x , r 2 ) be nonintersecting balls placed inside of E . Denote

$$l _ { r } ^ { 1 } ( \varphi ) = \frac { 3 } { 4 \pi r ^ { 3 } } \int _ { B ( \vec { x } _ { 1 }, r ) } \varphi d v, \ l _ { r } ^ { 2 } ( \varphi ) = \frac { 3 } { 4 \pi r ^ { 3 } } \int _ { B ( \vec { x } _ { 2 }, r ) } \varphi d v. \\ \mathbb { R } \text{, and function } \mathbb { m } \text{ has }$$

By definition we have

$$W _ { k } ( l _ { k } ) & \leq W _ { k } ( l _ { k } + t l _ { r } ^ { 1 } - t l _ { r } ^ { 2 } ). \\ \omega \cdot \quad e _ { 1 } \quad \mathfrak { m } \ \circ \ \cdot \ \cdot \ e _ { 1 } \mathfrak { m }.$$

From this inequality for all 0 &lt; t it follows

$$l _ { r } ^ { 1 } \left ( U _ { k } ^ { l _ { 1 } } \right ) & \geq l _ { r } ^ { 2 } \left ( U _ { k } ^ { l _ { 1 } } \right ). \\ \text{hen $r\to+0$ we get}.$$

$$U _ { k } ^ { l _ { 1 } } ( \vec { x } _ { 1 } ) \geq U _ { k } ^ { l _ { 1 } } ( \vec { x } _ { 2 } ). \tag* { \square }$$

Passing to the limit when r → +0 we get

Example 1. Let us give an example where we cannot avoid the generalized functions. Let

$$E = \partial B ( \vec { 0 }, \, 1 ) \cup \bar { B } ( \vec { 0 }, \, r _ { 1 } ) \left ( \bigcup _ { n = 1 } ^ { \infty } \bar { B } ( \vec { 0 }, \, r _ { 2 n + 1 } ) \, \langle \, B ( \vec { 0 }, \, r _ { 2 n } ) \right ), \\ \text{where } 0 < r _ { 1 } < r _ { 2 } < \cdots < 1 \text{ and } \lim _ { n \to \infty } r _ { n } = 1. \text{ Let us put a charge } q$$

where 0 &lt; r 1 &lt; r 2 &lt; · · · &lt; 1 and lim n →∞ r n = 1. Let us put a charge q on the ball ¯ (0 B /vector , r 1 ). In the equilibrium state, the charge q n inducted on each sphere ∂B /vector (0 , r n ). We have

$$q _ { 2 n } + q _ { 2 n + 1 } = 0, \ n = 1, 2, \dots$$

The potential function can be presented in the form

$$U ( \vec { x } ) = \sum _ { n = 1 } ^ { \infty } q _ { n } \min \left ( \frac { 1 } { r _ { n } }, \ \frac { 1 } { \| \vec { x } \| } \right ). \\ \text{at the points}$$

Consequently, at the points

$$\vec { x } \in \bar { B } ( \vec { 0 }, \, r _ { 2 n + 1 } ) \, \sum B ( \vec { 0 }, \, r _ { 2 n } )$$

$$U ( \vec { x } ) = \frac { 1 } { \| \vec { x } \| } \sum _ { k = 1 } ^ { 2 n } q _ { n } + \sum _ { 8 } ^ { \infty } \left ( \frac { q _ { 2 k + 1 } } { r _ { 2 k + 1 } } + \frac { q _ { 2 k } } { r _ { 2 k } } \right ).$$

we have

Since the potential function is constant on each connected part, so

Consequently, we have

$$\sum _ { k = 1 } ^ { 2 n } q _ { k }, \ n = 1, 2, \dots$$

$$q _ { n } = ( - 1 ) ^ { n + 1 } q _ { 1 }. \\ \iota _ { \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \eta \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xi \xrightarrow \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cd: \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \$$

From this follows, that the equilibrium distribution can not be a finite measure. Since the potential function is constant inside of conductor

$$U _ { k } ^ { l _ { k } } ( \vec { x } ) = A, \ \vec { x } \in E$$

so

$$l _ { k } ( \varphi ) = - k ^ { 2 } \int _ { E } \varphi U _ { k } ^ { l _ { k } } d v - \int _ { \partial E } \varphi \left ( \frac { \partial U _ { k } ^ { l _ { k } } } { \partial \vec { n } _ { + } } + \frac { \partial U _ { k } ^ { l _ { k } } } { \partial \vec { n } _ { - } } \right ) d s - \frac { 1 } { 4 \pi } \int _ { E } \varphi \Delta U _ { k } ^ { l _ { k } } d v =$$

$$& = - A \int _ { E } \varphi d v - \frac { 1 } { 4 \pi } \int _ { \partial E } \varphi \frac { \partial U _ { k } ^ { l _ { k } } } { \partial \vec { n } _ { + } } d s. \\ & \text{active characters $l(1) = a.$ so}$$

We have negative charges l (1) = q , so

$$l _ { k } ( 1 ) = q = - k ^ { 2 } A | E | + A C ( E ). \\..$$

From this equation we get

$$\lambda & = \frac { q } { C ( E ) - k ^ { 2 } | E | } \\ r \, \text{we have only positive} \, \i \,.$$

Inside of the conductor we have only positive ions

$$Q = - \frac { q k ^ { 2 } | E | } { C ( E ) - k ^ { 2 } | E | } \\ \text{have aniv the non-active atot}$$

On the boundary we have only the negative electrons equal

$$\hat { q } & = \frac { q C ( E ) } { C ( E ) - k ^ { 2 } | E | } \\ - \, \Omega \, \text{ then all negative cell}$$

Let us note, that if k = 0 then all negative charges, which we bring on conductor, migrate to the conductor boundary. However, in the case k &gt; 0, some of 'free electrons' migrate to the boundary also. Example 2. Let E = ¯ (0 B /vector , r ). Since the conductor is simmetry we have

$$l _ { k } ( \varphi ) = \frac { Q } { | B ( \vec { 0 }, \, r ) | } \int _ { B ( \vec { 0 }, \, r ) } \varphi d v + \frac { \hat { q } } { | \partial B ( \vec { 0 }, \, r ) | } \int _ { \partial B ( \vec { 0 }, \, r ) } \varphi d s.$$

## 5. forces on conductor

Definition 19. Let l ∈ D ∗ and the k -potential function U l k ( /vector x ) be differentiable at the point /vector x . Then on a small charge e , which is placed at the point /vector x the force is defined by the formula

$$\dot { \vec { F } } _ { k } ( \vec { x } ) & = e \lim _ { r \to 0 + } \frac { \dot { \vec { k } } } { | B ( \vec { x }, \, r ) | } \overset { \dot { \vec { x } } } { \int } _ { B ( \vec { x }, \, r ) } U _ { k } ^ { l } ( \vec { y } ) \frac { \vec { x } - \vec { y } } { \| \vec { x } - \vec { y } \| } d v. \\ \intertext { t o t n o n t o t h o t i f $ 1 - 1 $ a n d t h o n t o t i f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f$ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f $ f " }$$

Let us note that if l = l f and the potential function is differentiable then

Example 3. Let on the ball E = ¯ (0 B /vector , r ) we put a charge q and this charge is in equilibrium state. On the small charge placed at the point /vector x / B /vector , ∈ (0 r ) out of the bll, acts the fource

$$\bar { F } _ { k } ( \vec { x } ) = - e \nabla U _ { k } ^ { l _ { k } } ( \vec { x } ). \\ \ t h o \ h a l l \ F - \bar { R } ( \vec { 0 } \ r ) \ w o \ n n$$

$$\bar { F } _ { k } ( \vec { x } ) = - e \nabla U _ { k } ^ { l _ { k } } ( \vec { x } ) = \frac { e q \vec { x } } { \| \vec { x } \| ^ { 3 } }. \\ \text{e include of conductor at the nonint } \vec { r } \subset I$$

If the charge e is inside of conductor at the point /vector x ∈ B /vector (0 , r ) the force acting on that charge, equals zero. Let us note, that in the last case, the force corresponding only by electrical interaction equals

$$\bar { \bar { F } } _ { k } ( \vec { x } ) = - e \nabla U _ { 0 } ^ { l _ { k } } ( \vec { x } ) = - \frac { 6 e q \vec { x } } { r ( 3 - 4 \pi k ^ { 2 } r ^ { 2 } ) }. \\ \text{at this forces have direction to the center of the b}$$

Note that this forces have direction to the center of the ball. We assume, that the 'free electrons' collide with the ions, which appear in conductor as a result of migration some of 'free electrons' on the boundary. Those collides are cause of new forces.

$$\bar { F } _ { k } ^ { c } ( \vec { x } ) = M \vec { x }.$$

This forces are directed from the centre. If

$$M = \frac { 2 Q k ^ { 2 } } { | B ( \vec { 0 }, \, r ) | }. \\ \ni \text{electric force. In } \text{th}$$

$$\ s u p p ( \vec { F } _ { k } ) & \subseteq \partial E. \\ \text{is constant inside of}$$

this force balanced by the electric force. In the case k &gt; 0 the inclusion supp l ( k ) ⊆ ∂E is not valid. However, for the equilibrium distribution l k , we have

Since, potential function is constant, inside of conductor. In 1836 year M. Faraday by experiment proved, that inside of conductor there is no forces. The same result in 1755 year observed BY. Franklin. M. Faraday, formulate the hypothesis, that all charges bring on conductor migrate to the boundary. Here we proved the effect about forces, but for the M. Faraday hypothesis we give a negative answer.

## 6. Photoelectrical effect

Photoeffect is connected with the emission of electrons on influence of photons. This phenomenon in 1839 was observed by A. Bekkerel in electrolit. Further in 1887 the same effect was investigated G. Hertz. He observed that lighting by ultra-violet rays of the discharger, then the current increases. Physicists, in experiments, discovered the following laws:

- 1. the number of emit electrons is proportional to the intensity of photon;
- 2. the energy, of pushing out electrons, is proportional of frequency of of photons;
- 3. there is a minimal photon energy, which can bring out electron from conductor.

The theoretical explanation those laws was given by A. Einshtain in 1905. In this theory the photon energy equals hν , where h is Plank's constant and ν is frequency of photon.

A part of falling photons are reflected from the boundary of conductor. Other part penetrated into metall and absorbed by electrons.The absorbed photons increased the electron energy. This permits electrons to leave metall. In 1921 Millicen proved the A. Einshtain laws in experiment.

Here we will prove that the process of pushing out of electrons is possible to explain. The essential moment in our model is pair of electrons placed in the distance δ = 1 45 . · 10 -8 m. The idea of 'electron pair' appeared 1916 year in G. Lewis paper [7]. Later this idea successfully applied by L. Cooper [4] in superconductivity. In equilibrium state part of electrons concentrated on the boundary. We assume that those electrons form pairs and the line passing through centres of electrons is orthogonal to the boundary of conductor. Example. Let B /vector (0 , r ) and 0 &lt; t &lt; 1. The equilibrium distribution is

$$l _ { k } ( \varphi ) = \frac { Q } { | B ( \vec { 0 }, \, r ) | } \int _ { B ( \vec { 0 }, \, r ) } \varphi d v +$$

$$\int _ { \substack { + \frac { \hat { q } t } { | \partial B ( \vec { 0 }, \, r ) | } \int _ { \partial B ( \vec { 0 }, r ) } \varphi d s + \frac { \hat { q } ( 1 - t ) } { | \partial B ( \vec { 0 }, \, r + \delta ) | } \int _ { \partial B ( \vec { 0 }, \, r + \delta ) } \varphi d s. } \\ - \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon$$

By different reasons, some of 'electron pair' can go to the points

$$\vec { x }, \ \vec { x } + \delta \vec { n } _ { + } ( \vec { x } ), \ \vec { x } \in B ( \vec { 0 }, \, R ).$$

$$\vec { v } ), \ \vec { x } \in \iota _ { 1 1 }$$

In the case r &lt; R &lt; r + δ on the electron, which is placed at the point /vector x will act a force caused by positive ions inside of conductor which equals

$$- \frac { \lambda } { R ^ { 2 } ( C ( E ) - k ^ { 2 } | E | ) } \frac { \vec { x } } { \| \vec { x } \| }. \\ \text{electron act the force caused by e}$$

On inside placed electron act the force caused by electrons placed on the sphere ∂B /vector (0 , r ) which equals

$$\stackrel { \cdot } { \frac { \ q e k ^ { 2 } C ( E ) t } { R ^ { 2 } ( C ( E ) - k ^ { 2 } | E | ) } } \frac { \vec { x } } { \| \vec { x } \| }. \\ \text{electron nlaced on the sphere}$$

Let us note that the electrons placed on the sphere ∂B /vector (0 , r + ) do not δ act on this electron. Consequently, the total force equals

$$\begin{smallmatrix} \psi \psi \\ \frac { q e ( t C ( E ) - k ^ { 2 } | E | } { R ^ { 2 } ( C ( E ) - k ^ { 2 } | E | ) } \frac { \vec { x } } { \| \vec { x } \| }. \\ \text{act forces caused by chaotic in} \end{smallmatrix}$$

$$\frac { q e } { ( R + \delta ) ^ { 2 } } \frac { \vec { x } } { \| \vec { x } \| }. \\ \text{pair equals}$$

on this pair do not act forces caused by chaotic motion of 'free electrons'. On the charge placed at the point /vector x + δ/vector n + ( /vector x ) act the following force

The resulting force on the pair equals

If

$$\lambda ^ { \ } q e \left ( \frac { 1 } { ( R + \delta ) ^ { 2 } } - \frac { \lambda ^ { \ } ( t C ( E ) - k ^ { 2 } | E | } { R ^ { 2 } ( C ( E ) - k ^ { 2 } | E | ) } \right ) \frac { \vec { x } } { \| \vec { x } \| }.$$

$$\ t C ( E ) - k ^ { 2 } | E | < 0 \\ \text{ed from the equation}$$

The parametre is defined from the equation or

$$\frac { t C ( E ) - k ^ { 2 } | E | } { C ( E ) - k ^ { 2 } | E | } \frac { 1 } { ( r + \delta ) ^ { 2 } } + \frac { 1 } { ( r + 2 \delta ) ^ { 2 } } = 0 \\ \hat { \ }. \quad. \quad. \ \theta \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }.$$

$$\frac { 3 t - 4 \pi k ^ { 2 } r ^ { 2 } } { 3 - 4 \pi k ^ { 2 } r ^ { 2 } } = - \frac { ( r + \delta ) ^ { 2 } } { ( r + 2 \delta ) ^ { 2 } } \text{ } \\ \text{an that one of electron in pair play}$$

This equation mean that one of electron in pair placed on the sphere ∂B /vector (0 , r + ) then the total force on the pair is zero. δ Consequently, for arbitrary r &lt; R &lt; r + δ we have

$$\dot { \ < \, N } & < r + o \text{ we have} \\ & \frac { 3 t - 4 \pi k ^ { 2 } r ^ { 2 } } { 3 - 4 \pi k ^ { 2 } r ^ { 2 } } \frac { 1 } { R ^ { 2 } } + \frac { 1 } { ( R + \delta ) ^ { 2 } } = \\ & = \frac { 1 } { R ^ { 2 } } \left ( \frac { R ^ { 2 } } { ( R + \delta ) ^ { 2 } } - \frac { ( r + \delta ) ^ { 2 } } { ( r + 2 \delta ) ^ { 2 } } \right ) < 0 \. \\ \text{tal force is directed to the centre of the ball ar}.$$

So, the total force is directed to the centre of the ball and it block up the pair to return to the original place. If the displacement is

bigger r + δ &lt; R then this pair will push out the conductor. So, we come to the situation typical for photoelectric effect. The minimal energy of photon, which can be cause of that perturbation, permits the estimation

$$\dots \dots E > - q e \int _ { r } ^ { r + \delta } \left ( \frac { 1 } { ( R + \delta ) ^ { 2 } } - \frac { ( r + \delta ) ^ { 2 } } { ( r + 2 \delta ) ^ { 2 } R ^ { 2 } } \right ) d R \sim \frac { q e } { r ^ { 4 } }$$

$$> - q e \int _ { r } ^ { r + \delta } \left ( \frac { 1 } { ( R + \delta ) ^ { 2 } } - \frac { ( r + \delta ) ^ { 2 } } { ( r + 2 \delta ) ^ { 2 } R ^ { 2 } } \right ) d R \sim \\ \tau \ \mathcal { C } \sim \mathcal { C } \sim \mathcal { C } \sim \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \ \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \quad \mathcal { C } \$$

## 7. Conclusion

Using brownian motions of 'free electrons' we explain that the boundary electons do not leave conductor. We get the theoretical expanation of photoelectric effect too.

## References

- [1] Jackson, J. D. (1962, 1975, 1998). Classical Electrodynamics. New York: John Wiley - Sons.
- [2] Stein E.M. Singular integrals and differentiability properties of functions , Priceton University Press, New Jersey, 1970. No 4. p. 499-511.
- [3] Reed M. Simon B. Methods of modern mathematical physics, 1. Functional analysis, Academic press New Jork London, 1972.
- [4] Cooper L. Microscopic quantum interference effects in the theory of superconductivity, Nobel lecture, December 11, 1972.
- [5] Wermer J. Potential theory , Springer verlag, Berlin, Heidelberg, New York, 1974.
- [6] Lewis G. The atom and the molecule J. Amer. Chem. Soc. vol. 38, no 4, 1916
- [7] Lieb E., Loss M. Analisis Amer. mathem. Soc. Providence, Rhode Island. 1998.
Ashot Vagharshakyan
On charges equilibrium distribution on conductor
In this paper, new model for charges distribution is discussed. It is proved
that a small charge inside a conductor, no force acts. charge, which is located
on the border resistant to small perturbations. The minimum energy of a photon,
which could push the electron from the conductor is estimated.