# Patent

## Title
Non-axisymmetric charged-particle beam system

## Abstract

The charged-particle beam system includes a non-axisymmetric diode forms a non-axisymmetric beam having an elliptic cross-section. A focusing element utilizes a magnetic field for focusing and transporting the non-axisymmetric beam, wherein the non-axisymmetric beam is approximately matched with the channel of the focusing element.

## Background
PRIORITY INFORMATION
This application claims priority from provisional application Ser. No. 60/577,132 filed Jun. 4, 2004, which is incorporated herein by reference in its entirety.


BACKGROUND OF THE INVENTION
The invention relates to the field of charged-particle systems, and in particular to a non-axisymmetric charged-particle system.
The generation, acceleration and transport of a high-brightness, space-charge-dominated, charged-particle (electron or ion) beam are the most challenging aspects in the design and operation of vacuum electron devices and particle accelerators. A beam is said to be space-charge-dominated if its self-electric and self-magnetic field energy is greater than its thermal energy. Because the beam brightness is proportional to the beam current and inversely proportional to the product of the beam cross-sectional area and the beam temperature, generating and maintaining a beam at a low temperature is most critical in the design of a high-brightness beam. If a beam is designed not to reside in an equilibrium state, a sizable exchange occurs between the field and mean-flow energy and thermal energy in the beam. When the beam is space-charge-dominated, the energy exchange results in an increase in the beam temperature (or degradation in the beam brightness) as it propagates.
If brightness degradation is not well contained, it can cause beam interception by radio-frequency (RF) structures in vacuum electron devices and particle accelerators, preventing them from operation, especially from high-duty operation. It can also make the beam from the accelerator unusable because of the difficulty of focusing the beam to a small spot size, as often required in accelerator applications.
The design of high-brightness, space-charge-dominated, charged-particle beams relies on equilibrium beam theories and computer modeling. Equilibrium beam theories provide the guideline and set certain design goals, whereas computer modeling provides detailed implementation in the design.
While some equilibrium states are known to exist, matching them between the continuous beam generation section and the continuous beam transport section has been a difficult task for beam designers and users, because none of the known equilibrium states for continuous beam generation can be perfectly matched into any of the known equilibrium states for continuous beam transport.
For example, the equilibrium state from the Pierce diode in round two dimensional (2D) geometry cannot be matched into a periodic quadrupole magnetic field to create a Kapachinskij-Vladimirskij (KV) beam equilibrium. A rectangular beam made by cutting off the ends of the equilibrium state from the Pierce diode in infinite, 2D slab geometry ruins the equilibrium state.
However, imperfection of beam matching in the beam system design yields the growth of beam temperature and the degradation of beam brightness as the beam propagates in an actual device.
SUMMARY OF THE INVENTION
According to one aspect of the invention, there is provided a charged-particle beam system. The charged-particle beam system includes a non-axisymmetric diode which forms a non-axisymmetric beam having an elliptic cross-section. A focusing channel utilizes a magnetic field for focusing and transporting a non-axisymmetric beam,.
According to another aspect of the invention, there is provided a non-axisymmetric diode. The non-axisymmetric diode comprises at least one electrical terminal for emitting charged-particles and at least one electrical terminal for establishing an electric field and accelerating charged-particles to form a charged-particle beam. These terminals are arranged such that the charged-particle beam possesses an elliptic cross-section.
According to another aspect of the invention, there is provided a method of forming a non-axisymmetric diode comprising forming at least one electrical terminal for emitting charged-particles, forming at least one electrical terminal for establishing an electric field and accelerating charged-particles to form a charged-particle beam, and arranging said terminals such that the charged-particle beam possesses an elliptic cross-section.
According to another aspect of the invention, there is provided a charged-particle focusing and transport channel wherein a non-axisymmetric magnetic field is used to focus and transport a charged-particle beam of elliptic cross-section.
According to another aspect of the invention, there is provided a method of designing a charged-particle focusing and transport channel wherein a non-axisymmetric magnetic field is used to focus and transport a charged-particle beam of elliptic cross-section.
According to another aspect of the invention, there is provided a method of designing an interface for matching a charged-particle beam of elliptic-cross section between a non-axisymmetric diode and a non-axisymmetric magnetic focusing and transport channel.
According to another aspect of the invention, there is provided a method of forming a charged-particle beam system. The method includes forming a non-axisymmetric diode that includes a non-axisymmetric beam having an elliptic cross-section. Also, the method includes forming a focusing channel that utilizes a magnetic field for focusing and transporting the elliptic cross-section beam.



BRIEF DESCRIPTION OF THE DRAWINGS
FIGS. 1A-1C are schematic diagrams demonstrating a non-axisymmetric diode;
FIG. 2 is a graph demonstrating the Integration Contour C for the potential Φ;
FIG. 3 is a graph demonstrating the cross-section of the Φ=0 electrode at various positions along the beam axis;
FIG. 4 is a graph demonstrating the cross-section of the Φ=V electrode at various positions along the beam axis.;
FIG. 5 is a schematic diagram demonstrating the electrode geometry of a well-confined, parallel beam of elliptic cross section;
FIG. 6 is a schematic diagram of a non-axisymmetric periodic magnetic field;
FIG. 7 is a schematic diagram of the field distribution of a non-axisymmetric periodic magnetic field;
FIG. 8 is a schematic diagram demonstrating the laboratory and rotating coordinate systems;
FIGS. 9A-9E are graphs demonstrating matched solutions of the generalized envelope equations for a non-axisymmetric beam system with parameters corresponding to: k0x=3.22 cm−1, k0y=5.39 cm−1, √{square root over (κz)}=0.805 cm−1, K=1.53×10−2 and axial periodicity length S=0.956 cm;
FIGS. 10A-10E are graphs demonstrating the envelopes and flow velocities for a non-axisymmetric beam system with the choice of system parameters corresponding to: k0x=3.22 cm−1, k0y=5.39 cm−1, √{square root over (κz)}=0.805 cm−1, K=1.53×10−2, axial periodicity length S=0.956 cm, and a slight mismatch;
FIG. 11 is a graph demonstrating the focusing parameter for a periodic quadrupole magnetic field;
FIG. 12 is a graph demonstrating the beam envelopes of a pulsating elliptic beam equilibrium state in the periodic quadrupole magnetic field shown in FIG. 11;
FIG. 13 is a graph demonstrating the focusing parameter for a non-axisymmetric periodic permanent magnetic field; and
FIG. 14 is a graph demonstrating the beam envelopes of an elliptic beam equilibrium state in the non-axisymmetric periodic permanent magnetic field shown in FIG. 13.



DETAILED DESCRIPTION OF THE INVENTION
The invention comprises a non-axisymmetric charged-particle beam system having a novel design and method of design for non-axisymmetric charged-particle diodes.
A non-axisymmetric diode 2 is shown schematically in FIGS. 1A-1C. FIG. 1A shows the non-axisymmetric diode 2 with a Child-Langmuir electron beam 8 with an elliptic cross-section having an anode 4 and cathode 6. FIG. 1B is a vertical cross-sectional view of the non-axisymmetric diode 2 and FIG. 1C is a horizontal cross-sectional view of the non-axisymmetric diode 2 showing an electron beam 8 and the cathode 6 and anode 4 electrodes.
The electron beam 8 has an elliptic cross section and the characteristics of Child-Langmuir flow. The particles are emitted from the cathode 6, and accelerated by the electric field between the cathode 6 and anode 4. For an ion beam, the roles of cathode and anode are reversed.
To describe the method of designing an non-axisymmetric diode with an elliptic cross-section, one can introduce the elliptic coordinate system (ξ,η,z; f), defined in terms of the usual Cartesian coordinates by

x=f cos h (ξ)cos(η), y=f sin h(ξ)sin(η), z=z   (1.1)

where ξε[0, ∞) is a radial coordinate, ηε[0,2π) is an angular coordinate, and f is a constant scaling parameter. A charged-particle beam flowing in the êz direction and taking the Child-Langmuir profile of parallel flow with uniform transverse density will possess an internal electrostatic potential of





  
    
      
        
          
            Φ
            ⁡
            
              (
              
                ξ
                ,
                η
                ,
                z
              
              )
            
          
          =
          
            
              V
              ⁡
              
                (
                
                  z
                  d
                
                )
              
            
            
              4
              /
              3
            
          
        
        ,
      
    
    
      
        (
        1.2
        )
      
    
  




where one can have defined Φ(z=0)=0 along a planar charge-emitting surface and Φ(z=d)=V along a planar charge-accepting surface.

If both planes have transverse boundaries of elliptic shape, specified by the surface ξ=ξ0=constant, then a solution exists for a parallel flow, uniform transverse density, Child-Langmuir charged-particle beam of elliptic cross-section, flowing between the planes at z=0 and z=d. Due to the mutual space-charge repulsion of the particles constituting the beam, this Child-Langmuir profile must be supported by the imposition of an external electric field through the construction of appropriately shaped electrodes. The design of said electrodes requires knowledge of the electrostatic potential function external to the beam which satisfies appropriate boundary conditions on the beam edge:




  
    
      
        
          
            
              
                
                  Φ
                  ⁡
                  
                    (
                    
                      
                        ξ
                        0
                      
                      ,
                      η
                      ,
                      z
                    
                    )
                  
                
                =
                
                  
                    V
                    ⁡
                    
                      (
                      
                        z
                        d
                      
                      )
                    
                  
                  
                    4
                    /
                    3
                  
                
              
              ,
              
                

              
              ⁢
              
                
                  ∂
                  
                    ∂
                    ξ
                  
                
                ⁢
                
                  Φ
                  ⁡
                  
                    (
                    
                      ξ
                      ,
                      η
                      ,
                      z
                    
                    )
                  
                
              
            
            
          
          
            ξ
            =
            
              ξ
              0
            
          
        
        =
        0.
      
    
    
      
        (
        1.3
        )
      
    
  




As the potential and its normal derivative are specified independently on the surface ξ=ξ0, this forms an elliptic Cauchy problem, for which standard analytic and numerical solution methods fail due to the exponential growth of errors which is characteristic of all elliptic Cauchy problems. The present technique builds on the 2-dimensional technique of Radley in order to formulate a method of solution for the full 3D problem of determining the electrostatic potential outside a Child-Langmuir charged-particle beam of elliptic cross-section.
In the region external to the beam, the potential satisfies Laplace's equation, which is written in elliptic coordinates as




  
    
      
        
          
            
              0
              ⁢
              
              =
            
          
          
            
              
              ⁢
              
                
                  1
                  
                    F
                    ⁡
                    
                      (
                      
                        ξ
                        ,
                        η
                        ,
                        z
                      
                      )
                    
                  
                
                ⁢
                
                  
                    ∇
                    2
                  
                  ⁢
                  
                    F
                    ⁡
                    
                      (
                      
                        ξ
                        ,
                        η
                        ,
                        z
                      
                      )
                    
                  
                
              
            
          
        
        
          
            
              
              =
            
          
          
            
              
              ⁢
              
                
                  1
                  
                    F
                    ⁡
                    
                      (
                      
                        ξ
                        ,
                        η
                        ,
                        z
                      
                      )
                    
                  
                
                [
                
                  
                    
                      2
                      
                        
                          f
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              h
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              ξ
                            
                            -
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              η
                            
                          
                          )
                        
                      
                    
                    ⁢
                    
                      (
                      
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              ξ
                              2
                            
                          
                        
                        +
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              η
                              2
                            
                          
                        
                      
                      )
                    
                  
                  +
                
              
            
          
        
        
          
             
          
          
            
              
                
                ⁢
                
                  
                    ∂
                    2
                  
                  
                    ∂
                    
                      z
                      2
                    
                  
                
                ]
              
              ⁢
              
                F
                ⁡
                
                  (
                  
                    ξ
                    ,
                    η
                    ,
                    z
                  
                  )
                
              
            
          
        
        
          
            
              
              =
            
          
          
            
              
              ⁢
              
                
                  1
                  
                    
                      Z
                      ⁡
                      
                        (
                        z
                        )
                      
                    
                    ⁢
                    
                      T
                      ⁡
                      
                        (
                        
                          ξ
                          ,
                          η
                        
                        )
                      
                    
                  
                
                [
                
                  
                    
                      2
                      
                        
                          f
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              h
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              ξ
                            
                            -
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              η
                            
                          
                          )
                        
                      
                    
                    ⁢
                    
                      (
                      
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              ξ
                              2
                            
                          
                        
                        +
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              η
                              2
                            
                          
                        
                      
                      )
                    
                  
                  +
                
              
            
          
        
        
          
             
          
          
            
              
                
                ⁢
                
                  
                    ∂
                    2
                  
                  
                    ∂
                    
                      z
                      2
                    
                  
                
                ]
              
              ⁢
              
                Z
                ⁡
                
                  (
                  z
                  )
                
              
              ⁢
              
                T
                ⁡
                
                  (
                  
                    ξ
                    ,
                    η
                  
                  )
                
              
            
          
        
        
          
            
              
              =
            
          
          
            
              
              ⁢
              
                
                  
                    
                      1
                      
                        T
                        ⁡
                        
                          (
                          
                            ξ
                            ,
                            η
                          
                          )
                        
                      
                    
                    ⁢
                    
                      2
                      
                        
                          f
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              h
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              ξ
                            
                            -
                            
                              cos
                              ⁢
                              
                                
                              
                              ⁢
                              2
                              ⁢
                              η
                            
                          
                          )
                        
                      
                    
                    ⁢
                    
                      (
                      
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              ξ
                              2
                            
                          
                        
                        +
                        
                          
                            ∂
                            2
                          
                          
                            ∂
                            
                              η
                              2
                            
                          
                        
                      
                      )
                    
                    ⁢
                    
                      T
                      ⁡
                      
                        (
                        
                          ξ
                          ,
                          η
                        
                        )
                      
                    
                  
                  
                    }
                    
                      -
                      
                        k
                        2
                      
                    
                  
                
                +
              
            
          
        
        
          
             
          
          
            
              
              ⁢
              
                
                  
                    
                      1
                      
                        Z
                        ⁡
                        
                          (
                          z
                          )
                        
                      
                    
                    ⁢
                    
                      
                        ∂
                        2
                      
                      
                        ∂
                        
                          z
                          2
                        
                      
                    
                    ⁢
                    
                      Z
                      ⁡
                      
                        (
                        z
                        )
                      
                    
                  
                  
                    }
                    
                      k
                      2
                    
                  
                
                ,
              
            
          
        
      
    
    
      
        (
        1.4
        )
      
    
  




where one can follow the usual technique of separation of variables, writing F(ξ,η,z)=Z(z)T(ξ,η) and introducing the separation constant k2. The separated equations can now be written as





  
    
      
        
          0
          =
          
            
              (
              
                
                  
                    ∂
                    2
                  
                  
                    ∂
                    z2
                  
                
                -
                k2
              
              )
            
            ⁢
            
              Z
              ⁡
              
                (
                z
                )
              
            
          
        
        ,
      
    
    
      
        (
        1.5
        )
      
    
  
  
    
      
        
          
            
              0
              ⁢
              
              =
            
          
          
            
              
              ⁢
              
                
                  
                    1
                    
                      T
                      ⁡
                      
                        (
                        
                          ξ
                          ,
                          η
                        
                        )
                      
                    
                  
                  ⁢
                  
                    (
                    
                      
                        
                          ∂
                          2
                        
                        
                          ∂
                          
                            ξ
                            2
                          
                        
                      
                      +
                      
                        
                          ∂
                          2
                        
                        
                          ∂
                          
                            η
                            2
                          
                        
                      
                    
                    )
                  
                
                +
                
                  
                    k
                    2
                  
                  ⁢
                  
                    
                      f
                      2
                    
                    2
                  
                  ⁢
                  
                    (
                    
                      
                        cos
                        ⁢
                        
                          
                        
                        ⁢
                        h
                        ⁢
                        
                          
                        
                        ⁢
                        2
                        ⁢
                        ξ
                      
                      -
                      
                        cos
                        ⁢
                        
                          
                        
                        ⁢
                        2
                        ⁢
                        η
                      
                    
                    )
                  
                
              
            
          
        
        
          
            
              
              =
            
          
          
            
              
              ⁢
              
                
                  
                    
                      
                        1
                        
                          R
                          ⁡
                          
                            (
                            ξ
                            )
                          
                        
                      
                      ⁢
                      
                        
                          ∂
                          2
                        
                        
                          ∂
                          
                            ξ
                            2
                          
                        
                      
                      ⁢
                      
                        R
                        ⁡
                        
                          (
                          ξ
                          )
                        
                      
                    
                    +
                    
                      
                        
                          
                            k
                            2
                          
                          ⁢
                          
                            f
                            2
                          
                        
                        2
                      
                      ⁢
                      cos
                      ⁢
                      
                        
                      
                      ⁢
                      h
                      ⁢
                      
                        
                      
                      ⁢
                      2
                      ⁢
                      ξ
                    
                  
                  
                    }
                    a
                  
                
                +
              
            
          
        
        
          
             
          
          
            
              
              ⁢
              
                
                  
                    
                      
                        1
                        
                          Θ
                          ⁡
                          
                            (
                            η
                            )
                          
                        
                      
                      ⁢
                      
                        
                          ∂
                          2
                        
                        
                          ∂
                          
                            η
                            2
                          
                        
                      
                      ⁢
                      
                        Θ
                        ⁡
                        
                          (
                          η
                          )
                        
                      
                    
                    -
                    
                      
                        
                          
                            k
                            2
                          
                          ⁢
                          
                            f
                            2
                          
                        
                        2
                      
                      ⁢
                      cos
                      ⁢
                      
                        
                      
                      ⁢
                      2
                      ⁢
                      η
                    
                  
                  
                    }
                    
                      -
                      a
                    
                  
                
                ,
              
            
          
        
      
    
    
      
        (
        1.6
        )
      
    
  




where one can have performed another separation on the transverse equation, writing T(ξ,η)=R(ξ)Θ(η) and introducing the separation constant a. This last equation thus yields





  
    
      
        
          0
          =
          
            
              
                
                  ∂
                  2
                
                
                  ∂
                  
                    ξ
                    2
                  
                
              
              ⁢
              
                R
                ⁡
                
                  (
                  ξ
                  )
                
              
            
            -
            
              
                (
                
                  a
                  -
                  
                    
                      
                        
                          k
                          2
                        
                        ⁢
                        
                          f
                          2
                        
                      
                      2
                    
                    ⁢
                    cos
                    ⁢
                    
                      
                    
                    ⁢
                    h
                    ⁢
                    
                      
                    
                    ⁢
                    2
                    ⁢
                    ξ
                  
                
                )
              
              ⁢
              
                R
                ⁡
                
                  (
                  ξ
                  )
                
              
            
          
        
        ,
      
    
    
      
        (
        1.7
        )
      
    
  
  
    
      
        0
        =
        
          
            
              
                ∂
                2
              
              
                ∂
                
                  η
                  2
                
              
            
            ⁢
            
              Θ
              ⁡
              
                (
                η
                )
              
            
          
          +
          
            
              (
              
                a
                -
                
                  
                    
                      
                        k
                        2
                      
                      ⁢
                      
                        f
                        2
                      
                    
                    2
                  
                  ⁢
                  cos
                  ⁢
                  
                    
                  
                  ⁢
                  2
                  ⁢
                  η
                
              
              )
            
            ⁢
            
              
                Θ
                ⁡
                
                  (
                  η
                  )
                
              
              .
            
          
        
      
    
    
      
        (
        1.8
        )
      
    
  




Solutions to the separated transverse equations are known as the Radial Mathieu Functions R(ξ) and Angular Mathieu Functions Θ(η), respectively, while the solutions to the separated longitudinal equation are easily expressed in terms of exponentials Z(z)∝e±kz.
The solution for the potential is now represented as a superposition of separable solutions which, jointly, satisfy the boundary conditions on Φ. One can write

Φ(ξ,η,z)=∫dk[A(k)ekz∫B(a)Ra(ξ;k)Θa(η;k)da]  (1.9)

where the amplitude functions A(k) and B(a) are introduced and the integration contours are as yet unspecified. In order to satisfy the boundary condition on Φ along the beam edge, using the analytic continuation of the Gamma function, one can write





  
    
      
        
          
            z
            
              4
              /
              3
            
          
          =
          
            
              1
              
                Γ
                ⁡
                
                  (
                  
                    -
                    
                      4
                      3
                    
                  
                  )
                
              
            
            ⁢
            
              i
              
                2
                ⁢
                
                  
                
                ⁢
                
                  sin
                  ⁡
                  
                    (
                    
                      
                        4
                        ⁢
                        π
                      
                      3
                    
                    )
                  
                
              
            
            ⁢
            
              
                ∫
                C
              
              ⁢
              
                
                  e
                  kz
                
                ⁢
                
                  k
                  
                    
                      -
                      7
                    
                    /
                    3
                  
                
                ⁢
                
                  
                
                ⁢
                
                  d
                  k
                
              
            
          
        
        ,
      
    
    
      
        (
        1.10
        )
      
    
  




where the integration contour C is taken around the branch cut as shown in FIG. 2.

One can then write the boundary condition as




  
    
      
        
          
            
              
                Φ
                ⁡
                
                  (
                  
                    
                      ξ
                      0
                    
                    ,
                    η
                    ,
                    z
                  
                  )
                
              
              =
              
                
                  V
                  ⁡
                  
                    (
                    
                      z
                      d
                    
                    )
                  
                
                
                  4
                  /
                  3
                
              
            
          
        
        
          
            
              =
              
                
                  
                    Vd
                    
                      
                        -
                        4
                      
                      /
                      3
                    
                  
                  
                    Γ
                    ⁡
                    
                      (
                      
                        -
                        
                          4
                          3
                        
                      
                      )
                    
                  
                
                ⁢
                
                  i
                  
                    2
                    ⁢
                    
                      
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          
                            4
                            ⁢
                            π
                          
                          3
                        
                        )
                      
                    
                  
                
                ⁢
                
                  
                    ∫
                    C
                  
                  ⁢
                  
                    
                      e
                      kz
                    
                    ⁢
                    
                      k
                      
                        
                          -
                          7
                        
                        /
                        3
                      
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      d
                      k
                    
                  
                
              
            
          
        
        
          
            
              =
              
                ∫
                
                  
                    d
                    
                      k
                      ⁡
                      
                        [
                        
                          
                            A
                            ⁡
                            
                              (
                              k
                              )
                            
                          
                          ⁢
                          
                            e
                            kz
                          
                          ⁢
                          
                            ∫
                            
                              
                                B
                                ⁡
                                
                                  (
                                  a
                                  )
                                
                              
                              ⁢
                              
                                
                                  R
                                  a
                                
                                ⁡
                                
                                  (
                                  
                                    
                                      ξ
                                      0
                                    
                                    ;
                                    k
                                  
                                  )
                                
                              
                              ⁢
                              
                                
                                  Θ
                                  a
                                
                                ⁡
                                
                                  (
                                  
                                    η
                                    ;
                                    k
                                  
                                  )
                                
                              
                              ⁢
                              
                                
                              
                              ⁢
                              
                                d
                                a
                              
                            
                          
                        
                        ]
                      
                    
                  
                  .
                
              
            
          
        
      
    
    
      
        (
        1.11
        )
      
    
  




The boundary condition is satisfied by choosing C as the integration contour for the representation of Φ and making the correspondences





  
    
      
        
          
            A
            ⁡
            
              (
              k
              )
            
          
          =
          
            
              
                Vd
                
                  
                    -
                    4
                  
                  /
                  3
                
              
              
                Γ
                ⁡
                
                  (
                  
                    -
                    
                      4
                      3
                    
                  
                  )
                
              
            
            ⁢
            
              i
              
                2
                ⁢
                
                  
                
                ⁢
                
                  sin
                  ⁡
                  
                    (
                    
                      
                        4
                        ⁢
                        π
                      
                      3
                    
                    )
                  
                
              
            
            ⁢
            
              k
              
                
                  -
                  7
                
                /
                3
              
            
          
        
        ,
        
          

        
        ⁢
        and
      
    
    
      
        (
        1.12
        )
      
    
  
  
    
      
        
          ∫
          
            
              B
              ⁡
              
                (
                a
                )
              
            
            ⁢
            
              
                R
                a
              
              ⁡
              
                (
                
                  
                    ξ
                    0
                  
                  ;
                  k
                
                )
              
            
            ⁢
            
              
                Θ
                a
              
              ⁡
              
                (
                
                  η
                  ;
                  k
                
                )
              
            
            ⁢
            
              
            
            ⁢
            
              d
              a
            
          
        
        =
        1.
      
    
    
      
        (
        1.13
        )
      
    
  




The physical system requires a solution periodic in η and symmetric about η=0 and η=π/2. In general, the Angular Mathieu Functions Θa(η) are not periodic. Indeed, a periodic solution arises only for certain characteristic eigenvalues of the separation constant a. There are 4 infinite and discrete sets of eigenvalues denoted by a2n, a2n+1, b2n, b2n+1 for N ε{0, 1, 2, . . . } which differ in their symmetry properties. Only the set a2n and the corresponding cosine-elliptic solutions denoted by Θ(η)=ce2n(η;k) possess the appropriate symmetries, and the integral over a becomes a sum of the form




  
    
      
        1
        =
        
          
            ∑
            
              n
              =
              0
            
            ∞
          
          ⁢
          
            
          
          ⁢
          
            
              B
              
                2
                ⁢
                n
              
            
            ⁢
            
              
                R
                
                  a
                  
                    2
                    ⁢
                    n
                  
                
              
              ⁡
              
                (
                
                  
                    ξ
                    0
                  
                  ;
                  k
                
                )
              
            
            ⁢
            
              
                
                  ce
                  
                    2
                    ⁢
                    n
                  
                
                ⁡
                
                  (
                  
                    η
                    ;
                    k
                  
                  )
                
              
              .
            
          
        
      
    
    
      
        (
        1.14
        )
      
    
  




Moreover, the set of solutions ce2n is orthogonal and complete over the space of functions with the desired symmetry and periodicity properties. Thus one can expand unity as




  
    
      
        1
        =
        
          
            ∑
            
              n
              =
              0
            
            ∞
          
          ⁢
          
            
          
          ⁢
          
            
              
                ce
                
                  2
                  ⁢
                  n
                
              
              ⁡
              
                (
                
                  η
                  ;
                  k
                
                )
              
            
            ⁢
            
              
                
                  
                    ∫
                    0
                    
                      2
                      ⁢
                      π
                    
                  
                  ⁢
                  
                    
                      
                        ce
                        
                          2
                          ⁢
                          n
                        
                      
                      ⁡
                      
                        (
                        
                          η
                          ;
                          k
                        
                        )
                      
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      d
                      η
                    
                  
                
                
                  
                    ∫
                    0
                    
                      2
                      ⁢
                      π
                    
                  
                  ⁢
                  
                    
                      
                        
                        
                          
                            ce
                            
                              2
                              ⁢
                              n
                            
                          
                          ⁡
                          
                            (
                            
                              η
                              ;
                              k
                            
                            )
                          
                        
                        
                      
                      2
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      d
                      η
                    
                  
                
              
              .
            
          
        
      
    
    
      
        (
        1.15
        )
      
    
  




The boundary condition on Φ is then satisfied by choosing





  
    
      
        
          
            B
            
              2
              ⁢
              n
            
          
          =
          
            
              
                ∫
                0
                
                  2
                  ⁢
                  π
                
              
              ⁢
              
                
                  
                    ce
                    
                      2
                      ⁢
                      n
                    
                  
                  ⁡
                  
                    (
                    
                      η
                      ;
                      k
                    
                    )
                  
                
                ⁢
                
                  
                
                ⁢
                
                  d
                  η
                
              
            
            
              
                ∫
                0
                
                  2
                  ⁢
                  π
                
              
              ⁢
              
                
                  
                    
                    
                      
                        ce
                        
                          2
                          ⁢
                          n
                        
                      
                      ⁡
                      
                        (
                        
                          η
                          ;
                          k
                        
                        )
                      
                    
                    
                  
                  2
                
                ⁢
                
                  
                
                ⁢
                
                  d
                  η
                
              
            
          
        
        ,
        
          

        
        ⁢
        and
      
    
    
      
        (
        1.16
        )
      
    
  
  
    
      
        
          
            R
            
              a
              
                2
                ⁢
                n
              
            
          
          ⁡
          
            (
            
              
                ξ
                0
              
              ;
              k
            
            )
          
        
        =
        1.
      
    
    
      
        (
        1.17
        )
      
    
  




The condition that the normal derivative of the potential vanishes along the beam surface implies





  
    
      
        
          
            
              
                
                  ∂
                  
                    ∂
                    ξ
                  
                
                ⁢
                
                  
                    R
                    
                      a
                      
                        2
                        ⁢
                        n
                      
                    
                  
                  ⁡
                  
                    (
                    
                      ξ
                      ;
                      k
                    
                    )
                  
                
              
              
            
            
              ξ
              =
              
                ξ
                0
              
            
          
          =
          0
        
        ,
      
    
    
      
        (
        1.18
        )
      
    
  




which, along with the boundary value of Ra2n and the eigenvalue a2n, fully specify the second-order Radial Mathieu Equation. It can then be integrated by standard methods in order to determine the radial solutions.

Thus, one may rewrite the expansion for Φ as




  
    
      
        
          Φ
          ⁡
          
            (
            
              ξ
              ,
              η
              ,
              z
            
            )
          
        
        =
        
          
            
              Vd
              
                
                  -
                  4
                
                /
                3
              
            
            
              Γ
              ⁡
              
                (
                
                  -
                  
                    4
                    3
                  
                
                )
              
            
          
          ⁢
          
            i
            
              2
              ⁢
              
                
              
              ⁢
              
                sin
                ⁡
                
                  (
                  
                    
                      4
                      ⁢
                      π
                    
                    3
                  
                  )
                
              
            
          
          ⁢
          
            
              ∫
              C
            
            ⁢
            
              
            
            ⁢
            
              
                d
                
                  k
                  ⁡
                  
                    [
                    
                      
                        k
                        
                          
                            -
                            7
                          
                          /
                          3
                        
                      
                      ⁢
                      
                        e
                        kz
                      
                      ⁢
                      
                        {
                        
                          
                            ∑
                            
                              n
                              =
                              0
                            
                            ∞
                          
                          ⁢
                          
                            
                          
                          ⁢
                          
                            
                              
                                ce
                                
                                  2
                                  ⁢
                                  n
                                
                              
                              ⁡
                              
                                (
                                
                                  η
                                  ;
                                  k
                                
                                )
                              
                            
                            ⁢
                            
                              
                                R
                                
                                  a
                                  
                                    2
                                    ⁢
                                    n
                                  
                                
                              
                              ⁡
                              
                                (
                                
                                  ξ
                                  ;
                                  k
                                
                                )
                              
                            
                            ⁢
                            
                              
                                
                                  ∫
                                  0
                                  
                                    2
                                    ⁢
                                    π
                                  
                                
                                ⁢
                                
                                  
                                    
                                      ce
                                      
                                        2
                                        ⁢
                                        n
                                      
                                    
                                    ⁡
                                    
                                      (
                                      
                                        η
                                        ;
                                        k
                                      
                                      )
                                    
                                  
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  
                                    d
                                    η
                                  
                                
                              
                              
                                
                                  ∫
                                  0
                                  
                                    2
                                    ⁢
                                    π
                                  
                                
                                ⁢
                                
                                  
                                    
                                      
                                      
                                        
                                          ce
                                          
                                            2
                                            ⁢
                                            n
                                          
                                        
                                        ⁡
                                        
                                          (
                                          
                                            η
                                            ;
                                            k
                                          
                                          )
                                        
                                      
                                      
                                    
                                    2
                                  
                                  ⁢
                                  
                                    
                                  
                                  ⁢
                                  
                                    d
                                    η
                                  
                                
                              
                            
                          
                        
                        }
                      
                    
                    ]
                  
                
              
              .
            
          
        
      
    
    
      
        (
        1.19
        )
      
    
  




A number of methods may be used to evaluate the characteristic values a2n and the corresponding Angular Mathieu Functions ce2n. These can be integrated by standard methods. In practice, only the first few terms of the infinite series need be retained in order to reduce fractional errors to below 10−5. The integral along the contour C can be transformed into definite integrals of complex-valued functions along the real line, and thus it, too, can be evaluated using standard methods.

Once the potential profile is known, one can employ a root-finding technique in order to determine surfaces along which one may place constant-potential electrodes. A numerical module has been developed which determines these electrode shapes based on the theory described and solution methods described above. Sample electrode designs are shown in FIGS. 3 and 4 for the case of a 10:1 elliptical beam of semi-major radius 6 mm and semi-minor radius 0.6 mm. These electrodes serve to enforce the analytically-derived potential profile along the beam edge, which in turn serves to confine the beam and maintain it in the Child-Langmuir form.
The 3-dimensional charged-particle optics tool Omni-Trak has been used to simulate the emission and transport of charge particles in the geometry of FIGS. 3 and 4. The resulting particle trajectories, shown in FIG. 5, are indeed parallel, as predicted by the theory. The results of the Omni-Trak simulation also provide a validation of the analytical method presented above.
One will often wish to extract this beam and inject it into another device by excising a portion of the charge-collecting plate. Doing so will modify the boundary conditions of the problem such that the above solution can no longer be considered exact, however, the errors introduced by relatively small excisions will be negligible, and the appropriate electrode shapes will be substantially unchanged from those produced by the method outlined above.
It should also be noted that additional electrodes, intermediate in potential between the cathode and anode, may be added in order to aid the enforcement of the Child-Langmuir flow condition. The above prescription allows for their design. As with the charge-collecting plate, neither the cathode electrode nor the intermediate electrodes need be extended arbitrarily close to the beam edge in order to enforce the Child-Langmuir flow condition. The portion of these electrodes nearest the beam may be excised without substantially affecting the beam solution.
Along similar lines, in a physical device, one cannot extend the electrodes infinitely far in the transverse directions. The analytically-prescribed electrodes correspond to the surfaces of conductors separated by vacuum and/or other insulating materials and (in some region distant from the beam) deviating from the analytically-prescribed profiles. Nevertheless, as the influence of distant portions of the electrodes diminish exponentially with distance from the beam edge, these deviations will have a negligible effect on the beam profile, provided that they occur at a sufficient distance from the beam edge.
FIG. 5 depicts an Omni-Trak simulation in which the finiteness of the electrodes is evident without affecting the parallel-flow of the charged particle beam. Note FIG. 5 illustrates the charge collection surface 10, charge emitting surface 14, parallel particle trajectories 12, and analytically designed electrodes 16. By equating the electrode geometry with equipotential surfaces, the analytic method of electrode design detailed herein specifies the precise geometry of the charge-emitting 14 and charge-collecting 10 surfaces as well as the precise geometry of external conductors 16. These external conductors may be held at any potential, however, generally, two external conductors are used—one held at the emitter potential and the other at the collector potential. A charged-particle system designed conformally to this geometry will generate a high-quality, laminar, parallel-flow, Child-Langmuir beam of elliptic cross-section as shown in FIG. 5.
As an illustrated example, a non-axisymmetric periodic magnetic field for focusing and transporting a non-axisymmetric beam is shown FIG. 6. FIG. 6 shows the iron pole pieces 18 and magnets 19 used to form the periodic magnetic field. The iron pole pieces are optional and may be omitted in other embodiments. The period of the magnetic field is defined by the line 20. The field distribution is illustrated FIG. 7. Note FIG. 7 illustrates the field lines form by the iron pole pieces 18 and magnets 19 of FIG. 6.
For a high-brightness, space-charge-dominated beam, kinetic (emittance) effects are negligibly small, and the beam can be adequately described by cold-fluid equations. In the paraxial approximation, the steady-state cold-fluid equations for time-stationary flow (∂/∂t=0) in cgs units are:




  
    
      
        
          
            
              
                β
                b
              
              ⁢
              c
              ⁢
              
                ∂
                
                  ∂
                  s
                
              
              ⁢
              
                n
                b
              
            
            +
            
              
                ∇
                ⊥
              
              ⁢
              
                ·
                
                  (
                  
                    
                      n
                      b
                    
                    ⁢
                    
                      V
                      ⊥
                    
                  
                  )
                
              
            
          
          =
          0
        
        ,
      
    
    
      
        (
        2.1
        )
      
    
  
  
    
      
        
          
            
              ∇
              ⊥
              2
            
            ⁢
            
              φ
              s
            
          
          =
          
            
              
                β
                b
                
                  -
                  1
                
              
              ⁢
              
                
                  ∇
                  ⊥
                  2
                
                ⁢
                
                  A
                  z
                  s
                
              
            
            =
            
              
                -
                4
              
              ⁢
              π
              ⁢
              
                
              
              ⁢
              
                qn
                b
              
            
          
        
        ,
      
    
    
      
        (
        2.2
        )
      
    
  
  
    
      
        
          
            
              
                n
                b
              
              ⁡
              
                (
                
                  
                    
                      β
                      b
                    
                    ⁢
                    c
                    ⁢
                    
                      ∂
                      
                        ∂
                        s
                      
                    
                  
                  +
                  
                    
                      V
                      ⊥
                    
                    ·
                    
                      ∂
                      
                        ∂
                        
                          X
                          ⊥
                        
                      
                    
                  
                
                )
              
            
            ⁢
            
              V
              ⊥
            
          
          =
          
            
              
                qn
                b
              
              
                
                  γ
                  b
                
                ⁢
                m
              
            
            ⁡
            
              [
              
                
                  
                    -
                    
                      1
                      
                        γ
                        b
                        2
                      
                    
                  
                  ⁢
                  
                    
                      ∇
                      ⊥
                    
                    ⁢
                    
                      φ
                      s
                    
                  
                
                +
                
                  
                    β
                    b
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    2
                  
                  ×
                  
                    B
                    ⊥
                    ext
                  
                
                +
                
                  
                    
                      V
                      ⊥
                    
                    c
                  
                  ×
                  
                    
                      B
                      z
                      ext
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    z
                  
                
              
              ]
            
          
        
        ,
      
    
    
      
        (
        2.3
        )
      
    
  




where s=z, q and m are the particle charge and rest mass, respectively,





  
    γ
    b
  
  =
  
    1
    
      
        1
        -
        
          β
          b
          2
        
      
    
  




is the relativistic mass factor, use has been made of βz≅βb=const, and the self-electric field Es and self-magnetic field Bs are determined from the scalar potential φs and vector potential Azsêz, i.e., Es=−∇⊥φs and Bs=∇×Azsêz.

One seeks solutions to Eqs. (2.1)-(2.3) of the form




  
    
      
        
          
            
              n
              b
            
            ⁡
            
              (
              
                
                  x
                  ⊥
                
                ,
                s
              
              )
            
          
          =
          
            
              
                N
                b
              
              
                π
                ⁢
                
                  
                
                ⁢
                
                  a
                  ⁡
                  
                    (
                    s
                    )
                  
                
                ⁢
                
                  b
                  ⁡
                  
                    (
                    s
                    )
                  
                
              
            
            ⁢
            
              Θ
              ⁡
              
                [
                
                  1
                  -
                  
                    
                      
                        x
                        ~
                      
                      2
                    
                    
                      
                        a
                        2
                      
                      ⁡
                      
                        (
                        s
                        )
                      
                    
                  
                  -
                  
                    
                      
                        y
                        ~
                      
                      2
                    
                    
                      
                        b
                        2
                      
                      ⁡
                      
                        (
                        s
                        )
                      
                    
                  
                
                ]
              
            
          
        
        ,
      
    
    
      
        (
        2.4
        )
      
    
  
  
    
      
        
          
            V
            ⊥
          
          ⁡
          
            (
            
              
                x
                ⊥
              
              ,
              s
            
            )
          
        
        =
        
          
            
              [
              
                
                  
                    
                      μ
                      x
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                  ⁢
                  
                    x
                    ~
                  
                
                -
                
                  
                    
                      a
                      x
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                  ⁢
                  
                    y
                    ~
                  
                
              
              ]
            
            ⁢
            
              β
              b
            
            ⁢
            c
            ⁢
            
              
                e
                ^
              
              
                x
                ~
              
            
          
          +
          
            
              ⌊
              
                
                  
                    
                      μ
                      y
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                  ⁢
                  
                    y
                    ~
                  
                
                +
                
                  
                    
                      α
                      y
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                  ⁢
                  
                    x
                    ~
                  
                
              
              ⌋
            
            ⁢
            
              β
              b
            
            ⁢
            c
            ⁢
            
              
                
                  e
                  ^
                
                
                  y
                  ~
                
              
              .
            
          
        
      
    
    
      
        (
        2.5
        )
      
    
  




In Eqs. (2.4) and (2.5), x∇={tilde over (x)}ê{tilde over (x)}+{tilde over (y)}ê{tilde over (y)} is a transverse displacement in a rotating frame illustrated in FIG. 8; θ(s) is the angle of rotation of the ellipse with respect to the laboratory frame; Θ(x)=1 if x>0 and Θ(x)=0 if x<0; and the functions a(s), b(s), μx(s), μy(s), αx(s), αy(s) and θ(s) are to be determined self-consistently [see Eqs. (2.11)-(2.15)].

For the self-electric and self-magnetic fields, Eqs. (2.2) and (2.4) are solved to obtain the scalar and vector potentials




  
    
      
        
          φ
          s
        
        =
        
          
            
              β
              b
              
                -
                1
              
            
            ⁢
            
              A
              z
              s
            
          
          =
          
            
              -
              
                
                  2
                  ⁢
                  
                    qN
                    b
                  
                
                
                  a
                  +
                  b
                
              
            
            ⁢
            
              
                (
                
                  
                    
                      
                        x
                        ~
                      
                      2
                    
                    a
                  
                  +
                  
                    
                      
                        y
                        ~
                      
                      2
                    
                    b
                  
                
                )
              
              .
            
          
        
      
    
    
      
        (
        2.6
        )
      
    
  




For a 3D non-axisymmetric periodic magnetic field with an axial periodicity length of S, one can describe it as the fundamental mode,




  
    
      
        
          
            
              B
              ext
            
            ⁡
            
              (
              x
              )
            
          
          =
          
            
              B
              0
            
            ⁡
            
              [
              
                
                  
                    
                      k
                      
                        0
                        ⁢
                        x
                      
                    
                    
                      k
                      0
                    
                  
                  ⁢
                  sin
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                        
                        ⁢
                        x
                      
                      )
                    
                  
                  ⁢
                  cos
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                        
                        ⁢
                        y
                      
                      )
                    
                  
                  ⁢
                  
                    cos
                    ⁡
                    
                      (
                      
                        
                          k
                          0
                        
                        ⁢
                        s
                      
                      )
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    x
                  
                
                +
                
                  
                    
                      k
                      
                        0
                        ⁢
                        y
                      
                    
                    
                      k
                      0
                    
                  
                  ⁢
                  cos
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                        
                        ⁢
                        x
                      
                      )
                    
                  
                  ⁢
                  sin
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                        
                        ⁢
                        y
                      
                      )
                    
                  
                  ⁢
                  
                    cos
                    ⁡
                    
                      (
                      
                        
                          k
                          0
                        
                        ⁢
                        s
                      
                      )
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    y
                  
                
                -
                
                  cos
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                        
                        ⁢
                        x
                      
                      )
                    
                  
                  ⁢
                  cos
                  ⁢
                  
                    
                  
                  ⁢
                  
                    h
                    ⁡
                    
                      (
                      
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                        
                        ⁢
                        y
                      
                      )
                    
                  
                  ⁢
                  
                    sin
                    ⁡
                    
                      (
                      
                        
                          k
                          0
                        
                        ⁢
                        s
                      
                      )
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    z
                  
                
              
              ]
            
          
        
        ,
      
    
    
      
        (
        2.7
        )
      
    
  




and further expand it to the lowest order in the transverse dimension to obtain





  
    
      
        
          
            
              
                
                  B
                  ext
                
                ⁡
                
                  (
                  x
                  )
                
              
              ⁢
              
              ≈
            
          
          
            
              
              ⁢
              
                
                  B
                  0
                
                ⁡
                
                  [
                  
                    
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                          2
                        
                        
                          k
                          0
                        
                      
                      ⁢
                      
                        cos
                        ⁡
                        
                          (
                          
                            
                              k
                              0
                            
                            ⁢
                            s
                          
                          )
                        
                      
                      ⁢
                      x
                      ⁢
                      
                        
                          e
                          ^
                        
                        x
                      
                    
                    +
                    
                      
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                          2
                        
                        
                          k
                          0
                        
                      
                      ⁢
                      
                        cos
                        ⁡
                        
                          (
                          
                            
                              k
                              0
                            
                            ⁢
                            s
                          
                          )
                        
                      
                      ⁢
                      y
                      ⁢
                      
                        
                          e
                          ^
                        
                        y
                      
                    
                    -
                    
                      
                        sin
                        ⁡
                        
                          (
                          
                            
                              k
                              0
                            
                            ⁢
                            s
                          
                          )
                        
                      
                      ⁢
                      
                        
                          e
                          ^
                        
                        z
                      
                    
                  
                  ]
                
              
            
          
        
        
          
            
              
              =
            
          
          
            
              
              ⁢
              
                
                  B
                  0
                
                [
                
                  
                    cos
                    ⁡
                    
                      (
                      
                        
                          k
                          0
                        
                        ⁢
                        s
                      
                      )
                    
                  
                  ⁢
                  
                    (
                    
                      
                        
                          
                            
                              
                                k
                                
                                  0
                                  ⁢
                                  x
                                
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              
                                cos
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              θ
                            
                            +
                            
                              
                                k
                                
                                  0
                                  ⁢
                                  y
                                
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              
                                sin
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              θ
                            
                          
                          
                            k
                            0
                          
                        
                        ⁢
                        
                          x
                          ~
                        
                      
                      -
                    
                  
                
              
            
          
        
        
          
             
          
          
            
              
                
                  
                  ⁢
                  
                    
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                          2
                        
                        -
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                          2
                        
                      
                      
                        2
                        ⁢
                        
                          k
                          0
                        
                      
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          2
                          ⁢
                          θ
                        
                        )
                      
                    
                    ⁢
                    
                      y
                      ~
                    
                  
                  )
                
                ⁢
                
                  
                    e
                    ^
                  
                  
                    x
                    ~
                  
                
              
              +
            
          
        
        
          
             
          
          
            
              
              ⁢
              
                
                  cos
                  ⁡
                  
                    (
                    
                      
                        k
                        0
                      
                      ⁢
                      s
                    
                    )
                  
                
                ⁢
                
                  (
                  
                    
                      
                        -
                        
                          
                            
                              k
                              
                                0
                                ⁢
                                x
                              
                              2
                            
                            -
                            
                              k
                              
                                0
                                ⁢
                                y
                              
                              2
                            
                          
                          
                            2
                            ⁢
                            
                              k
                              0
                            
                          
                        
                      
                      ⁢
                      
                        sin
                        ⁡
                        
                          (
                          
                            2
                            ⁢
                            θ
                          
                          )
                        
                      
                      ⁢
                      
                        x
                        ~
                      
                    
                    +
                  
                
              
            
          
        
        
          
             
          
          
            
              
                
                  
                    
                      
                      ⁢
                      
                        
                          
                            
                              
                                k
                                
                                  0
                                  ⁢
                                  x
                                
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              
                                sin
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              θ
                            
                            +
                            
                              
                                k
                                
                                  0
                                  ⁢
                                  y
                                
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              
                                cos
                                2
                              
                              ⁢
                              
                                
                              
                              ⁢
                              θ
                            
                          
                          
                            k
                            0
                          
                        
                        ⁢
                        
                          y
                          ~
                        
                      
                      )
                    
                    ⁢
                    
                      
                        e
                        ^
                      
                      
                        y
                        ~
                      
                    
                  
                  -
                  
                    
                      sin
                      ⁡
                      
                        (
                        
                          
                            k
                            0
                          
                          ⁢
                          s
                        
                        )
                      
                    
                    ⁢
                    
                      
                        e
                        ^
                      
                      z
                    
                  
                
                ]
              
              .
            
          
        
      
    
    
      
        (
        2.8
        )
      
    
  




In Eqs. (2.7) and (2.8),





  
    
      
        
          
            k
            0
          
          =
          
            
              2
              ⁢
              π
            
            S
          
        
        ,
      
    
    
      
        (
        2.9
        )
      
    
  
  
    
      
        
          
            k
            
              0
              ⁢
              x
            
            2
          
          +
          
            k
            
              0
              ⁢
              y
            
            2
          
        
        =
        
          
            k
            0
            2
          
          .
        
      
    
    
      
        (
        2.10
        )
      
    
  




The 3D magnetic field is specified by the three parameters B0, S and k0x/k0y.

Using the expressions in Eqs. (2.5), (2.6) and (2.8), it can be shown that both the equilibrium continuity and force equations (2.1) and (2.3) are satisfied if the dynamical variables a(s), b(s), μx(s)≡a−1da/ds, μy(s)≡b−1db/ds, αx(s), αy(s) and θ(s) obey the generalized beam envelope equations:




  
    
      
        
          
            
              
                
                  d
                  2
                
                ⁢
                a
              
              
                d
                
                  s
                  2
                
              
            
            +
            
              
                [
                
                  
                    -
                    
                      
                        
                          
                            b
                            2
                          
                          ⁡
                          
                            (
                            
                              
                                α
                                x
                                2
                              
                              -
                              
                                2
                                ⁢
                                
                                  α
                                  x
                                
                                ⁢
                                
                                  α
                                  y
                                
                              
                            
                            )
                          
                        
                        +
                        
                          
                            a
                            2
                          
                          ⁢
                          
                            α
                            y
                            2
                          
                        
                      
                      
                        
                          a
                          2
                        
                        -
                        
                          b
                          2
                        
                      
                    
                  
                  +
                  
                    
                      
                        κ
                        z
                      
                    
                    ⁢
                    
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                          2
                        
                        -
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                          2
                        
                      
                      
                        k
                        0
                      
                    
                    ⁢
                    
                      cos
                      ⁡
                      
                        (
                        
                          
                            k
                            0
                          
                          ⁢
                          s
                        
                        )
                      
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          2
                          ⁢
                          θ
                        
                        )
                      
                    
                  
                  -
                  
                    2
                    ⁢
                    
                      
                        κ
                        z
                      
                    
                    ⁢
                    
                      α
                      y
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          
                            k
                            0
                          
                          ⁢
                          s
                        
                        )
                      
                    
                  
                
                ]
              
              ⁢
              a
            
            -
            
              
                2
                ⁢
                K
              
              
                a
                +
                b
              
            
          
          =
          0
        
        ,
      
    
    
      
        (
        2.11
        )
      
    
  
  
    
      
        
          
            
              
                
                  d
                  2
                
                ⁢
                b
              
              
                d
                
                  s
                  2
                
              
            
            +
            
              
                [
                
                  
                    
                      
                        
                          a
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              α
                              y
                              2
                            
                            -
                            
                              2
                              ⁢
                              
                                α
                                x
                              
                              ⁢
                              
                                α
                                y
                              
                            
                          
                          )
                        
                      
                      +
                      
                        
                          b
                          2
                        
                        ⁢
                        
                          α
                          x
                          2
                        
                      
                    
                    
                      
                        a
                        2
                      
                      -
                      
                        b
                        2
                      
                    
                  
                  +
                  
                    
                      
                        κ
                        z
                      
                    
                    ⁢
                    
                      
                        
                          k
                          
                            0
                            ⁢
                            x
                          
                          2
                        
                        -
                        
                          k
                          
                            0
                            ⁢
                            y
                          
                          2
                        
                      
                      
                        k
                        0
                      
                    
                    ⁢
                    
                      cos
                      ⁡
                      
                        (
                        
                          
                            k
                            0
                          
                          ⁢
                          s
                        
                        )
                      
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          2
                          ⁢
                          θ
                        
                        )
                      
                    
                  
                  +
                  
                    2
                    ⁢
                    
                      
                        κ
                        z
                      
                    
                    ⁢
                    
                      α
                      x
                    
                    ⁢
                    
                      sin
                      ⁡
                      
                        (
                        
                          
                            k
                            0
                          
                          ⁢
                          s
                        
                        )
                      
                    
                  
                
                ]
              
              ⁢
              b
            
            -
            
              
                2
                ⁢
                K
              
              
                a
                +
                b
              
            
          
          =
          0
        
        ,
      
    
    
      
        (
        2.12
        )
      
    
  
  
    
      
        
          
            
              
                d
                
                  d
                  s
                
              
              ⁢
              
                (
                
                  
                    a
                    2
                  
                  ⁢
                  
                    α
                    y
                  
                
                )
              
            
            -
            
              
                
                  
                    ab
                    3
                  
                  ⁡
                  
                    (
                    
                      
                        α
                        x
                      
                      -
                      
                        α
                        y
                      
                    
                    )
                  
                
                
                  
                    a
                    2
                  
                  -
                  
                    b
                    2
                  
                
              
              ⁢
              
                d
                
                  d
                  s
                
              
              ⁢
              
                (
                
                  a
                  b
                
                )
              
            
            -
            
              2
              ⁢
              
                
                  κ
                  z
                
              
              ⁢
              
                cos
                ⁡
                
                  (
                  
                    
                      k
                      0
                    
                    ⁢
                    s
                  
                  )
                
              
              ⁢
              
                
                  
                    
                      k
                      
                        0
                        ⁢
                        x
                      
                      2
                    
                    ⁢
                    
                      cos
                      2
                    
                    ⁢
                    θ
                  
                  +
                  
                    
                      k
                      
                        0
                        ⁢
                        y
                      
                      2
                    
                    ⁢
                    
                      sin
                      2
                    
                    ⁢
                    θ
                  
                
                
                  k
                  0
                
              
              ⁢
              
                a
                2
              
            
            -
            
              2
              ⁢
              
                
                  κ
                  z
                
              
              ⁢
              a
              ⁢
              
                
              
              ⁢
              
                
                  d
                  a
                
                
                  d
                  s
                
              
              ⁢
              
                sin
                ⁡
                
                  (
                  
                    
                      k
                      0
                    
                    ⁢
                    s
                  
                  )
                
              
              ⁢
              a
            
          
          =
          0
        
        ,
      
    
    
      
        (
        2.13
        )
      
    
  
  
    
      
        
          
            
              
                d
                
                  d
                  s
                
              
              ⁢
              
                (
                
                  
                    b
                    2
                  
                  ⁢
                  
                    α
                    x
                  
                
                )
              
            
            -
            
              
                
                  
                    a
                    3
                  
                  ⁢
                  
                    b
                    ⁡
                    
                      (
                      
                        
                          α
                          x
                        
                        -
                        
                          α
                          y
                        
                      
                      )
                    
                  
                
                
                  
                    a
                    2
                  
                  -
                  
                    b
                    2
                  
                
              
              ⁢
              
                d
                
                  d
                  s
                
              
              ⁢
              
                (
                
                  b
                  a
                
                )
              
            
            -
            
              2
              ⁢
              
                
                  κ
                  z
                
              
              ⁢
              
                cos
                ⁡
                
                  (
                  
                    
                      k
                      0
                    
                    ⁢
                    s
                  
                  )
                
              
              ⁢
              
                
                  
                    
                      k
                      
                        0
                        ⁢
                        x
                      
                      2
                    
                    ⁢
                    
                      sin
                      2
                    
                    ⁢
                    θ
                  
                  +
                  
                    
                      k
                      
                        0
                        ⁢
                        y
                      
                      2
                    
                    ⁢
                    
                      cos
                      2
                    
                    ⁢
                    θ
                  
                
                
                  k
                  0
                
              
              ⁢
              
                b
                2
              
            
            -
            
              2
              ⁢
              
                
                  κ
                  z
                
              
              ⁢
              b
              ⁢
              
                
              
              ⁢
              
                
                  d
                  b
                
                
                  d
                  s
                
              
              ⁢
              
                sin
                ⁡
                
                  (
                  
                    
                      k
                      0
                    
                    ⁢
                    s
                  
                  )
                
              
            
          
          =
          0
        
        ,
      
    
    
      
        (
        2.14
        )
      
    
  
  
    
      
        
          
            
              d
              θ
            
            
              d
              s
            
          
          =
          
            
              
                
                  a
                  2
                
                ⁢
                
                  α
                  y
                
              
              -
              
                
                  b
                  2
                
                ⁢
                
                  α
                  x
                
              
            
            
              
                a
                2
              
              -
              
                b
                2
              
            
          
        
        ,
        where
      
    
    
      
        (
        2.15
        )
      
    
  
  
    
      
        
          
            κ
            z
          
        
        ≡
        
          
            
              qB
              0
            
            
              2
              ⁢
              
                γ
                b
              
              ⁢
              
                β
                b
              
              ⁢
              
                mc
                2
              
            
          
          ⁢
          
            
          
          ⁢
          and
          ⁢
          
            
          
          ⁢
          K
        
        ≡
        
          
            
              2
              ⁢
              
                q
                2
              
              ⁢
              
                N
                b
              
            
            
              
                γ
                b
                3
              
              ⁢
              
                β
                b
                2
              
              ⁢
              
                mc
                2
              
            
          
          .
        
      
    
    
      
        (
        2.16
        )
      
    
  




Equations (2.11)-(2.15) have the time reversal symmetry under the transformations (s,a,b,a′,b′,αx,αy,θ)→(−s,a,b,−a′,−b′,−αx,−αy,θ). This implies that the dynamical system described by Eqs. (2.11)-(2.15) has the hyper symmetry plane (a′,b′,αx,αy).
A numerical module was developed to solve the generalized envelope equations (2.11)-(2.15). There are, in total, seven functions a(s), b(s), a′(s), b′(s), αx(s), αx(s) and θ(s) to be solved. The time inverse symmetry of the dynamical system requires the quantities (a′,b′,αx,αy) vanish at s=0 for matched solutions, therefore, only the three initial values a(0), b(0) and θ(0) corresponding to a matched solution need to be determined by using Newton's method. The matched solutions of the generalized envelope equations are shown in FIGS. 9A-9E for a non-axisymmetric beam system with the choice of system parameters corresponding to: k0x=3.22 cm−1, k0y=5.39 cm−1, √{square root over (κ)}=0.805 cm−1, K=1.53×10−2 and axial periodicity length S=0.956 cm.
In particular, FIG. 9A demonstrates the envelopes associated with the functions a(s) and b(s). FIG. 9B is graphical representation of rotating angle θ(s). FIG. 9C is a graph illustrating velocity




  
    
      μ
      x
    
    ⁡
    
      (
      s
      )
    
  
  =
  
    
      1
      a
    
    ⁢
    
      
        
          d
          a
        
        
          d
          s
        
      
      .
    
  




FIG. 9D is a graph demonstrating velocity





  
    
      μ
      y
    
    ⁡
    
      (
      s
      )
    
  
  =
  
    
      1
      b
    
    ⁢
    
      
        
          d
          b
        
        
          d
          s
        
      
      .
    
  




FIG. 9E is a graph demonstrating velocities αx(s) and αy(s) versus the axial distance s for a flat, ellipse-shaped, uniform-density charged-particle beam in a 3D non-axisymmetric magnetic field.

The matching from the charged-particle diode to the focusing channel might not be perfect in experiments. If a mismatch is unstable, it might ruin the beam. However, investigations of small-mismatch beams show that the envelopes are stable against small mismatch.
For example, the envelopes and flow velocities are plotted in FIGS. 10A-10E for a non-axisymmetric beam system with the choice of system parameters corresponding to: k0x=3.22 cm−1, k0y=5.39 cm−1, √{square root over (κz)}=0.805 cm−1, K=1.53 ×10−2 and axial periodicity length S=0.956 cm with an initial 5% mismatch of θ, i.e. θ(s=0)=θmatched(s=0)×(1.05).
In particular, FIG. 10A demonstrates the envelopes associated with the functions a(s) and b(s). FIG. 10B is graphical representation of rotating angle θ(s). FIG. 10C is a graph illustrating velocity




  
    
      μ
      x
    
    ⁡
    
      (
      s
      )
    
  
  =
  
    
      1
      a
    
    ⁢
    
      
        
          d
          a
        
        
          d
          s
        
      
      .
    
  




FIG. 10D is a graph demonstrating velocity





  
    
      μ
      y
    
    ⁡
    
      (
      s
      )
    
  
  =
  
    
      1
      b
    
    ⁢
    
      
        
          d
          b
        
        
          d
          s
        
      
      .
    
  




FIG. 10E is a graph demonstrating velocities αx(s) and αy(s) versus the axial distance s for a flat, ellipse-shaped, uniform-density charged-particle beam in a 3D non-axisymmetric magnetic field.

By the technique described herein, one can design a non-axisymmetric magnetic focusing channel which preserves a uniform-density, laminar charged-particle beam of elliptic cross-section.
One can illustrate how to match an elliptic charged-particle beam from the non-axisymmetric diode, described herein, into a periodic quadrupole magnetic field. In the paraxial approximation, the periodic quadrupole magnetic field is described by




  
    
      
        
          B
          ext
        
        =
        
          
            
              (
              
                
                  ∂
                  
                    B
                    x
                    q
                  
                
                
                  ∂
                  y
                
              
              )
            
            0
          
          ⁢
          
            
              (
              
                
                  y
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    x
                  
                
                +
                
                  x
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      e
                      ^
                    
                    y
                  
                
              
              )
            
            .
          
        
      
    
    
      
        (
        3.1
        )
      
    
  




The concept of matching is illustrated in FIGS. 11 and 12.

FIG. 11 shows an example of the magnetic focusing parameter




  
    
      
        
          
            k
            q
          
          ⁡
          
            (
            s
            )
          
        
        =
        
          
            q
            
              
                γ
                b
              
              ⁢
              
                β
                b
              
              ⁢
              
                mc
                2
              
            
          
          ⁢
          
            
              (
              
                
                  ∂
                  
                    B
                    x
                    q
                  
                
                
                  ∂
                  y
                
              
              )
            
            0
          
        
      
    
    
      
        (
        3.2
        )
      
    
  




associated with the periodic quadrupole magnetic field for a beam of charged particles with charge q, rest mass m, and axial momentum γbβbmc.

FIG. 12 shows the envelopes for pulsating elliptic beam equilibrium in the periodic quadrupole magnetic field, as described previously.
The matching of the equilibrium state from the diode to the equilibrium state for the periodic quadrupole magnetic field at s=0 is feasible, because the transverse density profile and flow velocity of the two equilibrium states are identical at s=0. In particular, the transverse particle density is uniform within the beam ellipse and the transverse flow velocity vanishes at s=0.
Also, one can illustrate how to match an elliptic charged-particle beam from the non-axisymmetric diode, as described herein, into a non-axisymmetric periodic permanent magnetic field. In the paraxial approximation, the non-axisymmetric permanent magnetic field is described by Eq. (2.8). The concept of matching is illustrated in FIGS. 13 and 14.
FIG. 13 shows an example of the magnetic focusing parameter




  
    
      
        
          
            
              κ
              z
            
            ⁡
            
              (
              s
              )
            
          
        
        ≡
        
          
            
              qB
              z
            
            ⁡
            
              (
              s
              )
            
          
          
            2
            ⁢
            
              γ
              b
            
            ⁢
            
              β
              b
            
            ⁢
            
              mc
              2
            
          
        
      
    
    
      
        (
        4.1
        )
      
    
  




associated with the non-axisymmetric periodic permanent magnetic field (presented for a beam of charged particles with charge q, rest mass m, and axial momentum γbβbmc.

FIG. 14 shows the envelopes for a flat, elliptic beam equilibrium state in the non-axisymmetric periodic permanent magnetic field. The angle of the ellipse exhibits slight oscillations. However, these oscillations can be corrected by utilizing higher longitudinal harmonics of the magnetic field profile.
The matching of the equilibrium state from the diode to the equilibrium state for the non-axisymmetric periodic permanent magnetic field at s=0 is feasible, because the transverse density profile and flow velocity of the two equilibrium states are identical. In particular, the transverse particle density is uniform within the beam ellipse and the transverse flow velocity vanishes at s=0.
The matching procedure discussed herein illustrates a high quality interface between a non-axisymmetric diode and a non-axisymmetric magnetic focusing channel for charged-particle beam.
This beam system will find application in vacuum electron devices and particle accelerators where high brightness, low emittance, low temperature beams are desired.
Although the present invention has been shown and described with respect to several preferred embodiments thereof, various changes, omissions and additions to the form and detail thereof, may be made therein, without departing from the spirit and scope of the invention.

## Claims

1. A charged-particle beam system comprising
a non-axisymmetric diode that forms a non-axisymmetric beam having an elliptic cross-section; and
a focusing channel that utilizes a magnetic field for focusing and transporting said elliptic cross-section beam.

2. The charged-particle beam system of claim of 1, wherein said charged-particle beam possesses a uniform transverse density.

3. The charged-particle beam system of claim of 1, wherein said charged-particle beam possesses a laminar flow.

4. The charged-particle beam system of claim of 1, wherein said charged-particle beam possesses a parallel longitudinal flow.

5. The charged-particle beam system of claim 1, wherein said focusing channel comprises a non-axisymmetric magnetic field for focusing and transporting said charged-particle beam.

6. The charged-particle beam system of claim 5, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic magnetic field.

7. The charged-particle beam system of claim 5, wherein said non-axisymmetric magnetic field includes a non-axisymmetric permanent magnetic field.

8. The charged-particle beam system of claim 5, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic permanent magnetic field.

9. The charged-particle beam system of claim of 5, wherein said non-axisymmetric magnetic field includes at least one quadrupole magnetic field.

10. The charged-particle beam system of claim of 5, wherein said non-axisymmetric magnetic field includes a periodic quadrupole magnetic field.

11. The charged-particle beam system of claim 2, wherein said focusing channel comprises a non-axisymmetric magnetic field for focusing and transporting said charged-particle beam.

12. The charged-particle beam system of claim 11, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic magnetic field.

13. The charged-particle beam system of claim 11, wherein said non-axisymmetric magnetic field includes a non-axisymmetric permanent magnetic field.

14. The charged-particle beam system of claim 11, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic permanent magnetic field.

15. The charged-particle beam system of claim of 11, wherein said non-axisymmetric magnetic field includes at least one quadrupole magnetic field.

16. The charged-particle beam system of claim of 11, wherein said non-axisymmetric magnetic field includes a periodic quadrupole magnetic field.

17. A method of forming a charged-particle beam system comprising
forming a non-axisymmetric diode that includes a non-axisymmetric beam having an elliptic cross-section; and
forming a focusing channel that utilizes a magnetic field for focusing and transporting said elliptic cross-section beam.

18. The method of claim 17, wherein said charged-particle beam possesses a uniform transverse density.

19. The method of claim 17, wherein said charged-particle beam possesses a laminar flow.

20. The method of claim 17, wherein said charged-particle beam possesses a parallel longitudinal flow.

21. The method of claim 17, wherein said focusing channel comprises a non-axisymmetric magnetic field for focusing and transporting said charged-particle beam.

22. The method of claim 21, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic magnetic field.

23. The method of claim 21, wherein said non-axisymmetric magnetic field includes a non-axisymmetric permanent magnetic field.

24. The method of claim 21, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic permanent magnetic field.

25. The method of claim 21, wherein said non-axisymmetric magnetic field includes at least one quadrupole magnetic field.

26. The method of claim 21, wherein said non-axisymmetric magnetic field includes a periodic quadrupole magnetic field.

27. The method of claim 18, wherein said focusing channel comprises a non-axisymmetric magnetic field for focusing and transporting said charged-particle beam.

28. The charged-particle beam system of claim 27, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic magnetic field.

29. The charged-particle beam system of claim 27, wherein said non-axisymmetric magnetic field includes a non-axisymmetric permanent magnetic field.

30. The charged-particle beam system of claim 27, wherein said non-axisymmetric magnetic field includes a non-axisymmetric periodic permanent magnetic field.

31. The charged-particle beam system of claim of 27, wherein said non-axisymmetric magnetic field includes at least one quadrupole magnetic field.

32. The charged-particle beam system of claim of 27, wherein said non-axisymmetric magnetic field includes a periodic quadrupole magnetic field.